mmalvarez/mmalvarez.github.io-new2
My Website!
Developer Profile
mmalvarez
Discovered public repositories for mmalvarez in the GitHub catalog.
mmalvarez/mmalvarez.github.io-OLD
My GitHub Pages
mmalvarez/mirror-shard
Reflective verification procedures for separation logic programs in Coq
mmalvarez/pyretic
The Pyretic runtime system
mmalvarez/python-iptables-control
Implement centralized, SDN-style network configuration for Linux hosts, in Python
mmalvarez/bson-ruby
Ruby Implementation of the BSON Specification (2.0.0+)
mmalvarez/cucumber-fun
In which I learn Cucumber.
mmalvarez/mongo-meta-driver
Public repository.
mmalvarez/heroku-buildpack-urweb
Public repository.
mmalvarez/camlsdn
An SDN solution targeting Linux hosts, implemented in Ocaml
mmalvarez/frenetic-iptables
My Port of Frenetic to IPTables