thealmarty
Software engineer. Loves FP Haskell Coq Agda PLT. Always learning. Prior: Economist. Vegan, WOC in solidarity with POC.
BC, Canada
Pinned Repositories
totality-checker
A totality checker for a dependently typed language implemented in Haskell.
plutus
The Plutus language implementation and tools
smarter-contracts
Application-layer smart contracts & tooling.
BoxesGoBananas
Implementations of Boxes Go Bananas: Encoding Higher-Order Abstract Syntax With Parametric Polymorphism
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.
LambdaPi
A dependently typed language core (lambda calculus) written in Haskell.
ocaml_algorithms
Algorithms written in OCaml
valida
A STARK-based VM focused on code reuse, performance, and modularity
thealmarty's Repositories
thealmarty/BoxesGoBananas
Implementations of Boxes Go Bananas: Encoding Higher-Order Abstract Syntax With Parametric Polymorphism
thealmarty/ocaml_algorithms
Algorithms written in OCaml
thealmarty/LambdaPi
A dependently typed language core (lambda calculus) written in Haskell.
thealmarty/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.
thealmarty/haskell-style-guide
A style guide for Haskell code.
thealmarty/joltBenchmark
thealmarty/ocaml_beginning
Fun little prgrams written in OCaml.
thealmarty/ocaml_exercism
My solutions to the OCaml track of exercism.io.
thealmarty/OCamlMOOC
My answers to the exercises of 2018 OCaml MOOC.
thealmarty/plutus
The Plutus language implementation and tools
thealmarty/rust-valida
Lita's fork of the Rust compiler
thealmarty/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.
thealmarty/skip_lists_sorted
Work-in-progress implementation of sorted skip lists with concurrency enabled in Rust.
thealmarty/smarter-contracts
Application-layer smart contracts & tooling.
thealmarty/todolist
A todo list app written in OCaml adapted from Bobby Priambodo's tutorial.
thealmarty/totality-checker
A totality checker for a dependently typed language implemented in Haskell.