Isaac Elliott's repositories
mini-adapton
miniAdapton in Haskell
certified-lc
use coq to verify stlc in a way that extracts to good haskell
definable-syntax
A programming language with very few reserved keywords
learn-vulkan
Learning to use Vulkan and building a high-level interface to `vulkan-api` along the way
pattern-unification
Learning pattern unification
recursion-schemes-phoas
Compositional PHOAS terms
bitset-occurs-check
An experiment where I unify using a graph, and track metas using bitsets
nominal-lambda-fix
Let's do initial algebra semantics for the category of nominal hask
qfpl-haskell-nix-stencil
Stencil for QFPL's haskell+nix projects (WIP)
reflex-packrat
A kind of buggy yet promising incremental packrat-like parser using reflex
reflex-requester-issue
I don't know
type-inference-talk
Talk about type inference and unification for BFPG
lc-lecture
Lambda Calculus lecture for COMP2048 Sem 1 2019 at UQ
learnelm
Some tiny little projects to get familiar with Elm
strong-normalisation
Proving strong normalisation using the 'logical relations' method
vulkan-hello-triangle
Drawing a triangle using C++ and Vulkan.
webworker-test
running two elm applications side-by-side, with asynchronous communication