april's repositories
idris2-spacemacs
It may work, use at your own discretion.
typecheckler
algebraic typechecking and elaboration of dependent types
hayo-s-in-haskell
Hayo Thielecke's PhD thesis SML '93 code translated into simple Haskell
a-journey-towards-unification
unfortunately not a tale about social changes
agda-lecture-notes
Agda lecture notes for the Functional Programming course at TU Delft
DSLsofMath
Easily navigable DSLsofMath code
MetaprogAgda
being the materials for Summer 2013's course
wenkokke.github.io
wherein I put thoughts
agda-calf
A cost-aware logical framework, embedded in Agda.
bnfc
BNF Converter
cbpv-in-agda
Formalization of Call-By-Push-Value, augmented with effect tracking
compiler
Compiler for Elm, a functional language for reliable webapps.
ipl
Agda formalization of Intuitionistic Propositional Logic
kv-store-db
A fast, lightweight, and easy-to-use in-memory and in-process key-value datastore for node.js
language-garden
A garden of small programming language implementations 🪴
rust-nbe-for-mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
skills-introduction-to-codeql
GitHub Skills: Introduction to CodeQL
smalltt
Demo for high-performance type theory elaboration
teenytt
A Teeny Type Theory
TypOS
being an operating system for typechecking processes
zydeco
a proof-of-concept programming language based on Call-by-push-value