thealmarty Goto Github PK

boxesgobananas

Implementations of Boxes Go Bananas: Encoding Higher-Order Abstract Syntax With Parametric Polymorphism

haskell-style-guide

A style guide for Haskell code.

joltbenchmark

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

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.