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