lambda-fairy

Generic code person

GoogleGadigal Country

Pinned Repositories

gensokyo
:cherry_blossom: The cute operating system
Language:Rust7 2 40
if_chain
Macro for writing nested `if let` expressions
Language:Rust165 6 129
juxta
Composable comparisons for TypeScript
Language:TypeScript10 2 20
maud
:pencil: Compile-time HTML templates for Rust
Language:Rust2.3k 17 241161
robot
:wrench: Simulate keyboard and mouse events using Haskell
Language:Haskell18 5 72
rose
:rose: Experimental regular expression engine for Rust
Language:Rust8 4 42
rust-errno
:boom: Cross-platform interface to the `errno` variable
Language:Rust69 4 2543
sylvia
:evergreen_tree: Logic puzzle game based on the lambda calculus
Language:Haskell20 7 02
uguu
uguu~
Language:Rust5 2 02
wrapping_macros
:gift_heart: A macro for wrapping arithmetic
Language:Rust8 2 21

lambda-fairy's Repositories

lambda-fairy/maud
:pencil: Compile-time HTML templates for Rust
Language:Rust2.3k 17 241161
lambda-fairy/if_chain
Macro for writing nested `if let` expressions
Language:Rust165 6 129
lambda-fairy/rust-errno
:boom: Cross-platform interface to the `errno` variable
Language:Rust69 4 2543
lambda-fairy/juxta
Composable comparisons for TypeScript
Language:TypeScript10 2 20
lambda-fairy/option-filter
Adds a .filter() method to Option<T>
Language:Rust7 1 2
lambda-fairy/ps
!! PROOF OF CONCEPT DO NOT USE !! The Philosopher's Stone — a library that makes `std::mem::transmute` safe :sparkles:
Language:Rust6 3 01
lambda-fairy/uguu
uguu~
Language:Rust5 2 02
lambda-fairy/gtn
Guess the Number
Language:JavaScript4 2 91
lambda-fairy/lambda-fairy.github.io
My personal website
Language:Rust4 2 1
lambda-fairy/hircine
A salacious IRC client library. Powers Cargobot.
Language:Haskell3 2 7
lambda-fairy/karkinos
🦀 Rustaceans.org clone with extra aesthetic
Language:Rust3 2 151
lambda-fairy/taleve
Formal model of stacker games in Lean
Language:Lean3 2 0
lambda-fairy/duck
🦆 quack
Language:Rust2 2 01
lambda-fairy/maud-book
:memo: The (old) documentation for Maud. This has since been merged into the main Maud repository.
2 2 05
lambda-fairy/unicode-casefold
Case folding library
Language:Rust2 2 21
lambda-fairy/approvals
Approvals
Language:HTML2 0
lambda-fairy/dateme
Dating doc
Language:HTML2 0
lambda-fairy/elf-shelf
You've heard of it
Language:CSS2 0
lambda-fairy/flutter
Flutter makes it easy and fast to build beautiful apps for mobile and beyond
Language:Dart1 0
lambda-fairy/lean4-metaprogramming-book
Language:Lean0 0
lambda-fairy/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Language:CSS1 0
lambda-fairy/mocha-headless-chrome
Run client-side mocha tests in the command line through headless Chrome.
Language:JavaScript2 0
lambda-fairy/music
:musical_score: Music compositions
Language:LilyPond2 1
lambda-fairy/nanojoshu
:robot: Twitter bot (cute)
Language:Ruby2 2
lambda-fairy/plugins
Plugins for swc, written in rust
Language:Rust1 0
lambda-fairy/plusone
:heart_decoration: University assignments and associated sundry
Language:HTML2 1
lambda-fairy/process.dart
Language:Dart1 0
lambda-fairy/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
Language:C1 0
lambda-fairy/weldyn
:sunrise: Next-generation Wesnoth multiplayer server
Language:Rust1 01
lambda-fairy/yarn-crash
Demonstrates an issue with Yarn and nyc
2 0