rnbguy

blockchain and security

@informalsystemsParis, France

Pinned Repositories

acestream-client
Acestream client written in Rust
Language:Rust5 1 00
figo
P2P file transfer utility
Language:Go107 5 07
FishPyPano
Stitch two fish eye images to get 360° panorama
Language:Python40 6 59
oopsla21artifact
Language:C++4 3 00
purple-fringe
Removal of purple fringing from digital photos
Language:OCaml4 2 01
pysphere
control Mi Sphere 360 camera from command line
Language:Python37 7 512
rope
P2P file transfer utility
Language:Rust29 2 14
subscene-dl
Download subtitles from subscene.com
Language:Python7 2 22
tla-playground
Online playground for TLA+
Language:TypeScript5 1 00

rnbguy's Repositories

rnbguy/FishPyPano
Stitch two fish eye images to get 360° panorama
Language:Python40 6 59
rnbguy/subscene-dl
Download subtitles from subscene.com
Language:Python7 2 22
rnbguy/acestream-client
Acestream client written in Rust
Language:Rust5 1 00
rnbguy/purple-fringe
Removal of purple fringing from digital photos
Language:OCaml4 2 01
rnbguy/python-reluplex
Python extension to Reluplex
Language:C++2 2 01
rnbguy/cloudflare-bypasser-rust
A Rust crate to bypass Cloudflare's anti-bot page.
Language:Rust1 1 0
rnbguy/docker-sigavpn
Alpine based docker image for SigaVPN
Language:Shell1 2 0
rnbguy/2ls
Language:C++2 0
rnbguy/algoSAT
academic ventures into algorithms for SAT
Language:C++2 0
rnbguy/Antidote-Causal-Test
A small setup to validate an Antidote bug
Language:Erlang2 0
rnbguy/antidotedb_rs
AntidoteDB client for Rust using protobuf
Language:Rust2 01
rnbguy/bibly
Convert dblp keys into BibTeX entries.
Language:TypeScript1 0
rnbguy/cbmc
C Bounded Model Checker
Language:C++2 0
rnbguy/cbmc-benchmarks
benchmarks for cbmc
Language:C2 0
rnbguy/cbmc-paper
Language:TeX3 0
rnbguy/GoAlgorithms
Algorithms Implemented in GoLang
Language:Go2 0
rnbguy/json-parsing
JSON Parsing in all possible languages
Language:JavaScript2 0
rnbguy/MCSV17
Model Checking and System Verification
Language:C++2 0
rnbguy/oltpbench
Database Benchmarking Framework
Language:Java1 0
rnbguy/opensub
Download subtitles from OpenSubtitles.org
Language:Rust2 0
rnbguy/polyglot
Translate text between languages
Language:Rust2 0
rnbguy/subdl
subdl - command-line tool to download subtitles from opensubtitles.org Official support for subdl seems to have been dropped. This site is intended for the future use of subdl with community driven support.
Language:Python2 0
rnbguy/svss
Software Verification using SMT solver
Language:Python2 0
rnbguy/unified-remote-mpv
Language:Lua2 0
rnbguy/uosql-server
An experimental SQL database server written in Rust
Language:Rust1 0
rnbguy/urlshort
Create an http.Handler that forwards paths to other URLs
Language:Go2 0
rnbguy/wat
A cross-platform File Watcher that runs specific tasks when specific files are added, changed or deleted
Language:Go2 0
rnbguy/xboxdrv-config
xboxdrv config files
2 0
rnbguy/yudhisthira
Privacy-first communication protocol for decentralized networks providing interoperability in multi-vendor platforms.
Language:Elixir2 0