Pinned Repositories
Domingo
Free Reimplementation of A Popular Deckbuilding Game
eth-isabelle
A Lem formalization of EVM and some Isabelle/HOL proofs
Gazelle
Gazelle = Generalized Elle. A framework for reusable programming language semantics.
MAML
MAML Ain't MetaLanguage - experiments in building an ML-like language
nodups-exercise
Dafny and Isabelle solutions to an exercise about removing duplicates from a sorted list
rust-currying
Macros for automatically currying functions in Rust
SolidityABI
Isabelle formalization of Solidity ABI encoding and decoding
Yul-Isabelle
Isabelle semantics for the Yul language
mmalvarez's Repositories
mmalvarez/bson-ruby
Ruby Implementation of the BSON Specification (2.0.0+)
mmalvarez/camlsdn
An SDN solution targeting Linux hosts, implemented in Ocaml
mmalvarez/cucumber-fun
In which I learn Cucumber.
mmalvarez/frenetic-iptables
My Port of Frenetic to IPTables
mmalvarez/fun_with_canonicals
mmalvarez/hello_tactics
Simple examples of OCaml tactic modules for Coq that use Unix facilities
mmalvarez/heroku-buildpack-urweb
mmalvarez/mirror-shard
Reflective verification procedures for separation logic programs in Coq
mmalvarez/mongo-meta-driver
mmalvarez/nonlinear
My implementation of Z3's nonlinear real arithmetic solver, in Coq
mmalvarez/pyretic
The Pyretic runtime system
mmalvarez/python-iptables-control
Implement centralized, SDN-style network configuration for Linux hosts, in Python