Isaac Elliott's Projects
Playing with visibility techniques for 2D games.
Zipper into a list-of-list, providing efficient movement commands
Learning 3D graphics fundamentals
Sized types and coinduction in Safe Agda
A type-safe, non-TH Haskell SQL library and ORM
Brainfuck, in Haskell - Code review
An attempt at understanding Conor McBride's bidirectional typing discipline
A Rust name binding library inspired by the theory of Nominal Sets.
scopes over bifunctors
treat `Vector Word64` as a set of natural numbers
An experiment where I unify using a graph, and track metas using bitsets
A blazingly fast HTML combinator library for Haskell.
Core modules for a blazing fast markup combinator library
brick breaking game written in C++ using SFML2
Experiments with parsing categorial grammars https://en.wikipedia.org/wiki/Categorial_grammar
A usable type system for call by push-value
Using lambda calculus as the syntax for cartesian closed categories, ala Conal Elliott.
use coq to verify stlc in a way that extracts to good haskell
Tools for crafting good CI pipelines.
Modular lambda calculus using Backpack and prisms
Closure calculus implementation
Takes newline-separated items on stdin and prints them in columns on stdout.
Contextual Modal Type Theory, formalization and implementation
Haskell library for working with dates
A programming language with very few reserved keywords
A Haskell library for rendering error diagnostics