absal-ex
Absal ex
abstract-algorithm
Optimal evaluator of λ-calculus terms.
AI-scripts
Some handy AI scripts
articles
Thoughts and stuff
Bitspeak
No description
Caramel
A modern syntax for the λ-calculus.
Cedille-Core
A minimal proof language.
ChatSH
Chat with GPT from the terminal, with the ability to execute shell scripts.
ESCoC
A nano "theorem prover".
eth-lib
Lightweight Ethereum libraries
Formality
No description
gpu_bitonic_sort
No description
Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
interaction-calculus-of-constructions
A minimal proof checker.
Interaction-Type-Theory
No description
kaleidoscope
Haskell LLVM JIT Compiler Tutorial
Kind
A modern proof language
KindBook
No description
lambda-calculus
A simple, clean and fast implementation of the λ-calculus on JavaScript.
lambench
No description
LJSON
JSON extended with pure functions.
nanoproof
No description
OptMem
Permanent memory for AI agents. A 426-token prompt, a script, plug and play.
PureState
The stupidest state management library that works.
swarm-js
No description
UrnaCripto
Referendos criptograficamente incorruptíveis.
WebMonkeys
Massively parallel GPU programming on JavaScript, simple and clean.
wiwinwlh
What I Wish I Knew When Learning Haskell
write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)