Stars
A processor for efficient combinator graph reduction.
FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including har…
A special-purpose processor for pure, non-strict functional languages
Compiler for a small stack-based imperative language, targeting the Piet language.
SRCL is an open-source React component and style repository that helps you build web applications, desktop applications, and static websites with terminal aesthetics.
A massive collaborative rube goldberg machine.
Full Source Code for Making a Language series
A game made by the Celeste developers in a week(ish, closer to 2)
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
Tutorial / REPL for the lambda calculus
Tantivy is a full-text search engine library inspired by Apache Lucene and written in Rust
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
Lightningtalk about WebAudio and WebMIDI held at WebRebels 2016
A backend framework for Rust professionals
A cross-platform, OpenGL terminal emulator.
Embedded specification language & model checker in Haskell
Manage CloudFormation Stacks through specifications
A truly monstrous async web chat using no JS whatsoever on the frontend