Alternatives and similar repositories for lambda-calculator

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

• iokasimov / ya
  Я - extremely composable embeddable programming language
  ☆68Updated last week
• typedbyte / hagato
  Haskell Gamedev Toolkit, a library for developing games from scratch.
  ☆67Updated last year
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆190Updated 2 weeks ago
• kowainik / awesome-cabal
  💫 A curated list of awesome resources for the Haskell Cabal build tool.
  ☆120Updated last year
• dnikolovv / practical-haskell
  A collection of Practical Haskell bits.
  ☆85Updated 2 years ago
• pwm / nixkell
  A simple Nix-Haskell skeleton
  ☆113Updated last month
• ocharles / weeder
  A re-implementation of weeder using HIE files
  ☆178Updated last week
• tomsmeding / pastebin-haskell
  Pastebin service in haskell
  ☆32Updated 8 months ago
• haskellfoundation / error-message-index
  A community-driven collection of documentation for Haskell error messages and warnings
  ☆106Updated 4 months ago
• josephsumabat / static-ls
  ☆162Updated last week
• effectfully-ou / sketches
  A Haskell blog
  ☆146Updated last month
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆131Updated last year
• flora-pm / flora-server
  A package index for the Haskell ecosystem
  ☆143Updated this week
• haskellfoundation / hs-opt-handbook.github.io
  The Haskell Optimization Handbook
  ☆179Updated 4 months ago
• tomjaguarpaw / bluefin
  ☆118Updated last week
• CrystalSplitter / ghcitui
  A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode
  ☆58Updated last month
• AndrasKovacs / staged-fusion
  Staged push/pull fusion with typed Template Haskell
  ☆59Updated last year
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆105Updated 2 weeks ago
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆38Updated 7 months ago
• tonyday567 / checklist
  How I start Haskell.
  ☆100Updated last month
• aztecs-hs / aztecs
  A modular game engine and ECS for Haskell
  ☆124Updated this week
• haskell / error-messages
  ☆75Updated 3 years ago
• sweirich / challenge
  Strongly-typed System F in Haskell
  ☆118Updated 2 years ago
• aaronallen8455 / breakpoint
  Set breakpoints using a GHC plugin
  ☆49Updated last year
• haskell-game / dear-imgui.hs
  Haskell bindings to Dear ImGui, an immediate mode GUI toolkit
  ☆156Updated 2 months ago
• well-typed / hs-bindgen
  Automatically generate Haskell bindings from C header files
  ☆54Updated this week
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆36Updated 11 months ago
• ad-si / Brillo
  Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)
  ☆40Updated 2 months ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆47Updated 2 years ago
• Bodigrim / linear-builder
  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
  ☆96Updated 2 months ago