tkaden4/lambda-calculus

Stars
1
Language
TypeScript
Created about 5 years ago
Updated about 4 years ago

tkaden4/lambda-calculus

tkaden4

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

An implementation of the lambda calculus in typescript, along with an interactive evaluator.

pfmt

A command line utility and library for creating colorful text

ununknown

Typesafe data validation combinators for typescript/javascript.

humanality.net

A personality test website built on Netlify with Next.js using React and Semantic UI

squarest-countries

A simple GIS experiment to find the squarest countries.

tentacle

LAN device discovery

karat

A virtual computer for hobby development

lambdabot

A discord bot that runs user code.

alef

optic

A header-only argument parser for C

ricebot

A project to monitor the rice cooker in our house and message us when it finishes cooking

MATH302

WWU MATH 302 Proofs in Idris

MTGGuildData

Website to display data from our 10-deck, 3-5 player MTG commander games.

party

aleph-old

A programming language for systems development

asteroids

assoc

A smart file association manager and file opener

rfc

A man(1)-like viewer for rfc files

moth

A library for MOS 6502 code generation

haskellmc

haskellmc startup scripts

disrupt

Make your discord messages as annoying as possible

pomo

A command-line pomodoro tracker.

lithp

Minimal Lisp for studying purposes

communism-ai

babel-node-pp

An upgraded version of babel-node that uses .babelrc