Stars
The Fae Programming Language Toolchain and Standard Library
MicroW8: A WebAssembly based size-coding platform
Haskell library for operations on type algebra, e.g. inhabitant counting
Attempt to prove semantic preservation (forward simulation) for a simple compiler.
An arbitrary-length-input hash function for competitive programming and experimental purposes.
Desmos scripting language and successor to LISPsmos.
A simple compile-to-WebAssembly language
This repo contains a list of the 10,000 most common English words in order of frequency, as determined by n-gram frequency analysis of the Google's Trillion Word Corpus.
Write expressive, high-performance parsers with ease.
declarative programming language in development
Mommy's here to support you when running cargo~