85 packages
abstract-algorithm
Optimal evaluation of some lambda terms
agda-cli
A command-line tool to perform Agda commands like checking, running, and compiling
agent-twitter-client-taelin-fork
A twitter client for agents
aiemu
Claude emulates games
amigohex
AmigoHex
bitspeak
Bitspeak
calculus-of-constructions
Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript
chatsh
Enhance the command line with OpenAI's GPT
dattata
A collection of pureish, functional-inspired datatypes.
desuhex
DesuHex