Marty Stumpf's repositories
BoxesGoBananas
Implementations of Boxes Go Bananas: Encoding Higher-Order Abstract Syntax With Parametric Polymorphism
ocaml_algorithms
Algorithms written in OCaml
juvix
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.
haskell-style-guide
A style guide for Haskell code.
ocaml_beginning
Fun little prgrams written in OCaml.
ocaml_exercism
My solutions to the OCaml track of exercism.io.
OCamlMOOC
My answers to the exercises of 2018 OCaml MOOC.
plutus
The Plutus language implementation and tools
rust-valida
Lita's fork of the Rust compiler
simpleServers
A webserver that maintains an internal cache of some metrics and exposes a "status" websocket endpoint to send info periodically to a websocket client.
skip_lists_sorted
Work-in-progress implementation of sorted skip lists with concurrency enabled in Rust.
smarter-contracts
Application-layer smart contracts & tooling.
todolist
A todo list app written in OCaml adapted from Bobby Priambodo's tutorial.
totality-checker
A totality checker for a dependently typed language implemented in Haskell.