mmalvarez

eth-isabelle

A Lem formalization of EVM and some Isabelle/HOL proofs

Gazelle

Gazelle = Generalized Elle. A framework for reusable programming language semantics.

Yul-Isabelle

Isabelle semantics for the Yul language

SolidityABI

Isabelle formalization of Solidity ABI encoding and decoding

Domingo

Free Reimplementation of A Popular Deckbuilding Game

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

academic-site

My Academic Website

canonical-stores

Canonical Key-Value Store Implementations in Isabelle

CS-isabelle-tutorial

Tutorial material for a workshop on Isabelle, March 2021

cse130-winter17

CSE 130 Winter 2017 course repo

dependent-typeclasses

Exploration of dependent versions of various constructions of Kmett (and others)

Domingo-Server

Server Suppor for Multi-Site Domingo

elsa

Elsa is a lambda calculus evaluator

LLL_erc20

An implementation of Ethereum ERC20 tokens in LLL

mirror-core

A framework for extensible, reflective decision procedures.

mmalvarez.github.io-new2

My Website!

mmalvarez.github.io-OLD

My GitHub Pages

OrangePI-Kernel

Quetzal

A Co-Inductive LTL Semantics

rust-de-bruijn

rust-fp-experiments

Experiments with functional programming in Rust

Synthesis

urweb

The Ur/Web programming language

vino

VST

Verified Software Toolchain

vst-mirror

VST-MirrorCore Integration/Examples

web

Web page for CSE 130

z