Chris Wong
lambda-fairy
Generic code person
Languages
Top Repositories
:pencil: Compile-time HTML templates for Rust
Macro for writing nested `if let` expressions
:boom: Cross-platform interface to the `errno` variable
:evergreen_tree: Logic puzzle game based on the lambda calculus
:wrench: Simulate keyboard and mouse events using Haskell
Composable comparisons for TypeScript
Repositories
65:pencil: Compile-time HTML templates for Rust
Formal model of stacker games in Lean
Macro for writing nested `if let` expressions
:boom: Cross-platform interface to the `errno` variable
The math library of Lean 4
Composable comparisons for TypeScript
uguu~
:evergreen_tree: Logic puzzle game based on the lambda calculus
No description provided.
My personal website
🦆 quack
No description provided.
:wrench: Simulate keyboard and mouse events using Haskell
Hosts the website for mathlib and other Lean community infrastructure.
A salacious IRC client library. Powers Cargobot.
Dating doc
Approvals
!! PROOF OF CONCEPT DO NOT USE !! The Philosopher's Stone — a library that makes `std::mem::transmute` safe :sparkles:
Open-source keyboard firmware for Atmel AVR and Arm USB families
:memo: The (old) documentation for Maud. This has since been merged into the main Maud repository.
Demonstrates an issue with Yarn and nyc
:sunrise: Next-generation Wesnoth multiplayer server
Run client-side mocha tests in the command line through headless Chrome.
:robot: Twitter bot (cute)
Please use `net-literals` instead:
Case folding library
Simple CQRS-driven persistence library
Builder of Tree Builders
:cherry_blossom: The cute operating system
Experiments in the Blink Style Engine