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/eth-isabelle
A Lem formalization of EVM and some Isabelle/HOL proofs
mmalvarez/Gazelle
Gazelle = Generalized Elle. A framework for reusable programming language semantics.
mmalvarez/Yul-Isabelle
Isabelle semantics for the Yul language
mmalvarez/SolidityABI
Isabelle formalization of Solidity ABI encoding and decoding
mmalvarez/Domingo
Free Reimplementation of A Popular Deckbuilding Game
mmalvarez/MAML
MAML Ain't MetaLanguage - experiments in building an ML-like language
mmalvarez/nodups-exercise
Dafny and Isabelle solutions to an exercise about removing duplicates from a sorted list
mmalvarez/rust-currying
Macros for automatically currying functions in Rust
mmalvarez/academic-site
My Academic Website
mmalvarez/canonical-stores
Canonical Key-Value Store Implementations in Isabelle
mmalvarez/CS-isabelle-tutorial
Tutorial material for a workshop on Isabelle, March 2021
mmalvarez/cse130-winter17
CSE 130 Winter 2017 course repo
mmalvarez/dependent-typeclasses
Exploration of dependent versions of various constructions of Kmett (and others)
mmalvarez/Domingo-Server
Server Suppor for Multi-Site Domingo
mmalvarez/elsa
Elsa is a lambda calculus evaluator
mmalvarez/LLL_erc20
An implementation of Ethereum ERC20 tokens in LLL
mmalvarez/mirror-core
A framework for extensible, reflective decision procedures.
mmalvarez/mmalvarez.github.io-new2
My Website!
mmalvarez/mmalvarez.github.io-OLD
My GitHub Pages
mmalvarez/OrangePI-Kernel
mmalvarez/Quetzal
A Co-Inductive LTL Semantics
mmalvarez/rust-de-bruijn
mmalvarez/rust-fp-experiments
Experiments with functional programming in Rust
mmalvarez/Synthesis
mmalvarez/urweb
The Ur/Web programming language
mmalvarez/vino
mmalvarez/VST
Verified Software Toolchain
mmalvarez/vst-mirror
VST-MirrorCore Integration/Examples
mmalvarez/web
Web page for CSE 130
mmalvarez/z