Marty Stumpf's Projects
Implementations of Boxes Go Bananas: Encoding Higher-Order Abstract Syntax With Parametric Polymorphism
A style guide for Haskell code.
Juvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment and execution.
A dependently typed language core (lambda calculus) written in Haskell.
Algorithms written in OCaml
Fun little prgrams written in OCaml.
My solutions to the OCaml track of exercism.io.
My answers to the exercises of 2018 OCaml MOOC.
The Plutus language implementation and tools
Lita's fork of the Rust compiler
A webserver that maintains an internal cache of some metrics and exposes a "status" websocket endpoint to send info periodically to a websocket client.
Work-in-progress implementation of sorted skip lists with concurrency enabled in Rust.
Application-layer smart contracts & tooling.
A todo list app written in OCaml adapted from Bobby Priambodo's tutorial.
A totality checker for a dependently typed language implemented in Haskell.