cdparks's Stars
alacritty/alacritty
A cross-platform, OpenGL terminal emulator.
quickwit-oss/tantivy
Tantivy is a full-text search engine library inspired by Apache Lucene and written in Rust
kkuchta/css-only-chat
A truly monstrous async web chat using no JS whatsoever on the frontend
LukeMathWalker/zero-to-production
Code for "Zero To Production In Rust", a book on API development using Rust.
LukeMathWalker/pavex
An easy-to-use Rust framework for building robust and performant APIs
ExOK/Celeste64
A game made by the Celeste developers in a week(ish, closer to 2)
jart/sectorlisp
Bootstrapping LISP in a Boot Sector
katef/libfsm
DFA regular expression library & friends
VictorTaelin/Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
AndrasKovacs/smalltt
Demo for high-performance type theory elaboration
chrisdone-archive/jl
Functional sed for JSON
rust-hosted-langs/book
Writing Interpreters in Rust: a Guide
slovnicki/pLam
An interpreter for learning and exploring pure λ-calculus
xkcd/incredible
A massive collaborative rube goldberg machine.
awakesecurity/spectacle
Embedded specification language & model checker in Haskell
paf31/dovetail
A PureScript interpreter in Haskell
ljedrz/lambda_calculus
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
evinism/lambda-explorer
Tutorial / REPL for the lambda calculus
tomsmeding/pastebin-haskell
Pastebin service in haskell
gergoerdi/interaction-nets
Haskell implementation of interaction net-based lambda evaluation
thunderseethe/type-inference-example
Full Example Type Inference Implementation for thunderseethe.github.io
freckle/stackctl
Manage CloudFormation Stacks through specifications
HigherOrderCO/ICVM-lazy
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
Murzaza/AoC-2022
davidparks11/advent2022
Advent of Code 2022
jmorag/databass
mollerse/audible-code-presentation
Lightningtalk about WebAudio and WebMIDI held at WebRebels 2016
randomoscars/randomoscars.github.io
Hit the button and get random categories and nominees from a random year
davidparks11/advent2021
Advent of Code 2021
z0isch/aoc2022