Paris, France

Rano | Ranadeep

Advanced
@rnbguy

software safety via formal methods

ranadeep.in

figo. P2P file transfer utility

107

FishPyPano. Stitch two fish eye images to get 360° panorama

47

pysphere. control Mi Sphere 360 camera from command line

39

rope. P2P file transfer utility

29

subscene-dl. Download subtitles from subscene.com

7

tla-playground. Online playground for TLA+

6

acestream-client. Acestream client written in Rust

5

purple-fringe. Removal of purple fringing from digital photos

4

oopsla21artifact. C++

4

rover. Rover for Cosmos Network

4

acasxu_tf_keras. Tensorflow Keras models for ACAS Xu networks

3

apalarse. Typed formal specifications in Rust

2

python-reluplex. Python extension to Reluplex

2

cargo-languagetool. A third-party cargo extension for checking grammar in the documentation and comments.

1

manuscript-marauder. Download manuscript using a proxy

1

dbcop. Runtime monitoring for transactional consistency

1

adventofcode2024. Advent of Code 2024

1

docker-sigavpn. Alpine based docker image for SigaVPN

1

wifirst-captive-portal. Wifirst captive portal bypasser

1
19
Apply