Pinned Repositories
acestream-client
Acestream client written in Rust
figo
P2P file transfer utility
FishPyPano
Stitch two fish eye images to get 360° panorama
oopsla21artifact
purple-fringe
Removal of purple fringing from digital photos
pysphere
control Mi Sphere 360 camera from command line
rope
P2P file transfer utility
subscene-dl
Download subtitles from subscene.com
tla-playground
Online playground for TLA+
rnbguy's Repositories
rnbguy/figo
P2P file transfer utility
rnbguy/pysphere
control Mi Sphere 360 camera from command line
rnbguy/acasxu_tf_keras
Tensorflow Keras models for ACAS Xu networks
rnbguy/wifirst-captive-portal
Wifirst captive portal bypasser
rnbguy/apalache
APALACHE: symbolic model checker for TLA+
rnbguy/archlinux-sshd-docker
Archlinux docker with sshd
rnbguy/archlinux-yay-docker
Archlinux with yay
rnbguy/atomkraft
E2E testing for Cosmos blockchains
rnbguy/atomkraft-gitpod
Gitpod workspace for Atomkraft
rnbguy/atomkraft-json
rnbguy/atomkraft-provenance
Atomkraft for Provenance
rnbguy/bibly
Convert dblp keys into BibTeX entries.
rnbguy/cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
rnbguy/cosmos-sdk-python
Python GRPC client for Cosmos-SDK
rnbguy/covax
Find COVID 19 vaccine slots in France (via ViteMaDose)
rnbguy/denoland-fresh
The next-gen web framework.
rnbguy/eran-docker
ERAN solver on Docker
rnbguy/itf-rs
rnbguy/jepsen
A framework for distributed systems verification, with fault injection
rnbguy/ledger-cosmos
rnbguy/msql-srv
Bindings for writing a server that can act as MySQL/MariaDB
rnbguy/osmosis
The AMM Laboratory
rnbguy/pylama-pre-commit
Hooks file for `pre-commit` integration.
rnbguy/rouille
Rust programming, in French.
rnbguy/stringsext
Find multi-byte-encoded strings in binary data (Gitlab mirror).
rnbguy/test-gh-pages
rnbguy/thesis2021
thesis of my PhD at Universite de Paris
rnbguy/tla2bdd
Generate BDD scenarios from TLA traces
rnbguy/urlexpand
Expand / Unshorten Shortened URL's.
rnbguy/vt3-rs
Virustotal api v3