Alternatives and similar repositories for lambda-calculator

Users that are interested in lambda-calculator are comparing it to the libraries listed below

• typedbyte / hagato
  Haskell Gamedev Toolkit, a library for developing games from scratch.
  ☆67Updated last year
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆38Updated 6 months ago
• josephsumabat / static-ls
  ☆160Updated last week
• haskell-game / tiny-games-hs
  Haskell Tiny Game Jam
  ☆167Updated last year
• haskellfoundation / error-message-index
  A community-driven collection of documentation for Haskell error messages and warnings
  ☆105Updated 3 months ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆46Updated 2 years ago
• ocharles / weeder
  A re-implementation of weeder using HIE files
  ☆177Updated 3 weeks ago
• well-typed / hs-bindgen
  Automatically generate Haskell bindings from C header files
  ☆52Updated last week
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆130Updated last year
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆189Updated last week
• tomjaguarpaw / bluefin
  ☆112Updated this week
• AndrasKovacs / staged-fusion
  Staged push/pull fusion with typed Template Haskell
  ☆59Updated last year
• incoherentsoftware / defect-process
  Defect Process (2d hack n' slash game) full source code
  ☆216Updated last year
• Bodigrim / linear-builder
  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
  ☆94Updated last month
• iokasimov / ya
  Я - extremely composable embeddable programming language
  ☆67Updated this week
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆102Updated last week
• AndrasKovacs / 2ltt-impl
  Eventually a practical 2-level TT-based compiler
  ☆27Updated 3 months ago
• dnikolovv / practical-haskell
  A collection of Practical Haskell bits.
  ☆85Updated 2 years ago
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆36Updated 10 months ago
• haskell / error-messages
  ☆73Updated 3 years ago
• ad-si / Brillo
  Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)
  ☆39Updated last month
• agda / agda-language-server
  Language Server for Agda
  ☆112Updated 7 months ago
• klapaucius / fphistoryru
  ☆14Updated 2 weeks ago
• mchav / dataframe
  An intuitive, dynamically-typed DataFrame library.
  ☆72Updated this week
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆130Updated 2 years ago
• aztecs-hs / aztecs
  A modular game engine and ECS for Haskell
  ☆118Updated 2 weeks ago
• tonyday567 / checklist
  How I start Haskell.
  ☆100Updated last week
• JeanHuguesdeRaigniac / effects-landscape
  Effects libraries in Haskell
  ☆71Updated 2 years ago
• NorfairKing / sydtest
  A modern testing framework for Haskell with good defaults and advanced testing features.
  ☆121Updated 3 weeks ago
• well-typed / grapesy
  Native Haskell gRPC client and server based on `http2`
  ☆74Updated last week