wjlewis/lambda

Stars
1
Language
Haskell
Created over 5 years ago
Updated over 5 years ago

wjlewis/lambda

wjlewis

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

A simple REPL for the lambda calculus

ramo

miniKanren for JavaScript

tm

A slick Turing Machine simulator

angry-bird

ttb

A poor excuse for a hex editor

pymos

An interactive animated proof of the Pythagorean Theorem

iu-compilers

Working through Siek and Newton's "Essentials of Compilation"

taste-of-lambda

Resources for learning about the lambda calculus

english-ivy

An experimental program editor

objects-in-mirror

giraffe

Create and export graphs (as in graph theory)

soul-of-scheme

Resources for working with the Scheme programming language