lexi-lambda

lexi-lambda's Stars

• pulsar-edit/pulsar

  A Community-led Hyper-Hackable Text Editor

  Language:JavaScript3.4k53458143

• racketscript/racketscript

  Racket to JavaScript Compiler

  Language:Racket7153419831

• fused-effects/fused-effects

  A fast, flexible, fused effect system for Haskell

  Language:Haskell6492317652

• willghatch/racket-rash

  The Reckless Racket Shell

  Language:Racket552267431

• racket/drracket

  DrRacket, IDE for Racket

  Language:Racket4574254792

• haskell-graphql/graphql-api

  Write type-safe GraphQL services in Haskell

  Language:Haskell4041911532

• jonascarpay/apecs

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

  Language:Haskell389206044

• cathydeng/are-men-talking-too-much

  time who's dominating the conversation

  Language:HTML270101521

• wilbowma/cur

  A less devious proof assistant

  Language:Racket2221810518

• tulip-lang/tulip

  Language:Lua20729710

• VitorVilela7/SMW-SA1-Pack

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

  Language:Assembly195241914

• leahneukirchen/xe

  simple xargs and apply replacement

  Language:C1801028

• racket/racket7

  Language:Racket1693999

• stchang/macrotypes

  Language:Racket13665214

• UU-ComputerScience/uhc

  Language:Haskell136217121

• gelisam/klister

  an implementation of stuck macros

  Language:Haskell1341312611

• frasertweedale/hs-jose

  Haskell JOSE and JWT library

  Language:Haskell12489246

• greghendershott/markdown

  Markdown parser written in Racket.

  Language:Racket100107028

• cdepillabout/servant-checked-exceptions

  type-level errors for Servant APIs.

  Language:Haskell7372314

• tonyg/racket-reloadable

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

  Language:Racket62544

• mflatt/not-a-box

  Language:Racket571415

• 97jaz/gregor

  Date and time library for Racket

  Language:Racket4463610

• clash-lang/ghc-typelits-natnormalise

  Normalise GHC.TypeLits.Nat equations

  Language:Haskell43153815

• cjdev2/test-fixture

  Testing with monadic side-effects

  Language:Haskell336173

• david-christiansen/todo-list

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

  Language:Racket336106

• jackfirth/point-free

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

  Language:Racket246104

• mitchellwrosen/safe-exceptions-checked

  Safe, checked exceptions

  Language:Haskell13511

• AlexKnauth/quote-bad

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

  Language:Racket6310

• stamourv/feature-profile

  Feature-specific profiling support for Racket

  Language:Racket6694

• rfindler/lambdajam-2015-racket-pl-pl

  Language:Racket5202