Aurojit Panda's repositories
crypto-bgp
Crypto BGP code and build
distsystem
Just some random distributed systems as examples.
ampfood
AMPFood code
bert.erl
Erlang BERT encoder/decoder
bibtex-ruby
A BibTeX library, parser, and converter for Ruby.
click
The Click modular router: fast modular packet processing and analysis
CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
distributed_tests
Some random distributed programs
erlang-test-app
Test app for Concuerror
erlang-uuid-v4
UUID v4 in pure Erlang
gitignore
A collection of useful .gitignore templates
hlv
HLV code
jekyll-scholar
jekyll extensions for the blogging scholar
mcheck-cvc4
CVC4 Model Checking
otp
Erlang/OTP
python-erlastic
Erlang binary term codec and port interface. Modeled after Erlectricity.
rafter
An Erlang library application which implements the Raft consensus protocol