Skip to content
View lexi-lambda's full-sized avatar

Organizations

@racket

Block or report lexi-lambda

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

An implementation of "A Pretty Expressive Printer" in Racket

Racket 28 1 Updated Feb 3, 2024

A Community-led Hyper-Hackable Text Editor

JavaScript 3,881 171 Updated Dec 20, 2025

Date and time library for Racket

Racket 45 10 Updated Apr 7, 2024

an implementation of stuck macros

Haskell 149 12 Updated Dec 24, 2025

A fast, flexible, fused effect system for Haskell

Haskell 665 52 Updated Dec 17, 2025

SA-1 Pack is a package of patches for activating and using SA-1 in SMW Hacks

Assembly 203 15 Updated Jun 1, 2023

Normalise GHC.TypeLits.Nat equations

Haskell 43 16 Updated Dec 2, 2025

The Reckless Racket Shell

Racket 564 30 Updated Jan 29, 2024

A TODO list feature for DrRacket, like to Agda's goal list but for any language.

Racket 33 6 Updated Jul 1, 2023

a fast, extensible, type driven Haskell ECS framework for games

Haskell 398 46 Updated Dec 26, 2025
Racket 137 14 Updated Jun 2, 2022

Safe, checked exceptions

Haskell 13 1 Updated Sep 30, 2018

Haskell JOSE and JWT library

Haskell 129 48 Updated Aug 28, 2025
Racket 169 9 Updated Feb 26, 2018

type-level errors for Servant APIs.

Haskell 75 14 Updated Jun 27, 2023

Write type-safe GraphQL services in Haskell

Haskell 404 33 Updated Nov 23, 2019
Racket 58 5 Updated May 5, 2017

Support for code-reloading for long-running racket programs (such as web-servers).

Racket 61 4 Updated Nov 28, 2022

A less devious proof assistant

Racket 226 18 Updated Jan 23, 2023

Racket to JavaScript Compiler

Racket 730 32 Updated Nov 21, 2025
Haskell 138 22 Updated Aug 18, 2021

Collection of forms and higher order functions that assist function composition and definition of functions in a point-free style

Racket 24 4 Updated Mar 1, 2018

DrRacket, IDE for Racket

Racket 487 96 Updated Dec 28, 2025

time who's dominating the conversation

HTML 270 22 Updated Dec 27, 2019

A version of quote that helps to rid programs of potential bad uses of quote

Racket 6 Updated Sep 16, 2024

Markdown parser written in Racket.

Racket 103 29 Updated Jul 1, 2025

Testing with monadic side-effects

Haskell 33 2 Updated Jun 24, 2021

Feature-specific profiling support for Racket

Racket 6 4 Updated Sep 1, 2017
Lua 211 10 Updated Jan 25, 2018
Next