Pinned Repositories
betanoid.snippets
betanoid snippets
cvm
Rust implementation of CVM
ddc-ns3
NS3 simulations for DDC
etcd
Distributed reliable key-value store for the most critical data of a distributed system
mapexplorations
Exploring iphone mapkit api
svg-points
Python script to convert SVG to points, and then to CDFs and the like.
pktgen
Traffic Generator
bess
BESS: Berkeley Extensible Software Switch
demi
Interposition code for DEMi (Distributed Execution Minimizer)
NetBricks
NetBricks: A new network function framework based on Rust.
apanda's Repositories
apanda/ddc-ns3
NS3 simulations for DDC
apanda/distsystem
Just some random distributed systems as examples.
apanda/model-lang
apanda/routing-c
Routing simulator in C
apanda/akka-data-replication
Replication of CRDTs in Akka Cluster
apanda/ampfood
AMPFood code
apanda/bert.erl
Erlang BERT encoder/decoder
apanda/bibtex-ruby
A BibTeX library, parser, and converter for Ruby.
apanda/click
The Click modular router: fast modular packet processing and analysis
apanda/concuerror-new
apanda/ctrexample
apanda/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
apanda/distributed_examples
apanda/distributed_tests
Some random distributed programs
apanda/erlang-test-app
Test app for Concuerror
apanda/erlang-uuid-v4
UUID v4 in pure Erlang
apanda/faketest
apanda/gitignore
A collection of useful .gitignore templates
apanda/go.analysis
apanda/hlv
HLV code
apanda/itay_test
apanda/itay_test_priv
apanda/jekyll-scholar
jekyll extensions for the blogging scholar
apanda/mcheck-cvc4
CVC4 Model Checking
apanda/otp
Erlang/OTP
apanda/python-erlastic
Erlang binary term codec and port interface. Modeled after Erlectricity.
apanda/rafter
An Erlang library application which implements the Raft consensus protocol
apanda/smpc-cpp
apanda/sts2-applications
apanda/tinytasks