- Chicago, IL
- https://lexi-lambda.github.io
- @lexi_lambda
Stars
An implementation of "A Pretty Expressive Printer" in Racket
A Community-led Hyper-Hackable Text Editor
A fast, flexible, fused effect system for Haskell
SA-1 Pack is a package of patches for activating and using SA-1 in SMW Hacks
Normalise GHC.TypeLits.Nat equations
A TODO list feature for DrRacket, like to Agda's goal list but for any language.
a fast, extensible, type driven Haskell ECS framework for games
type-level errors for Servant APIs.
Write type-safe GraphQL services in Haskell
Support for code-reloading for long-running racket programs (such as web-servers).
Collection of forms and higher order functions that assist function composition and definition of functions in a point-free style
time who's dominating the conversation
A version of quote that helps to rid programs of potential bad uses of quote
Feature-specific profiling support for Racket



