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
• josephsumabat / static-ls
  ☆174Updated this week
• incoherentsoftware / defect-process
  Defect Process (2d hack n' slash game) full source code
  ☆222Updated 2 years ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆194Updated 3 weeks ago
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆133Updated 2 years ago
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆267Updated last year
• iokasimov / ya
  Я - extremely composable embeddable programming language
  ☆89Updated this week
• flora-pm / flora-server
  A package index for the Haskell ecosystem
  ☆145Updated this week
• pwm / nixkell
  A simple Nix-Haskell skeleton
  ☆118Updated 4 months ago
• ocharles / weeder
  A re-implementation of weeder using HIE files
  ☆181Updated 3 months ago
• haskellfoundation / error-message-index
  A community-driven collection of documentation for Haskell error messages and warnings
  ☆106Updated 3 weeks ago
• tomjaguarpaw / bluefin
  ☆129Updated 3 weeks ago
• AndrasKovacs / flatparse
  Fast parsing from bytestrings
  ☆170Updated 3 weeks ago
• well-typed / haskell-debugger
  A modern step-through debugger for GHC Haskell
  ☆76Updated last week
• AndrasKovacs / staged-fusion
  Staged push/pull fusion with typed Template Haskell
  ☆62Updated last year
• sweirich / challenge
  Strongly-typed System F in Haskell
  ☆119Updated 3 years ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆47Updated 3 years ago
• dnikolovv / practical-haskell
  A collection of Practical Haskell bits.
  ☆85Updated 3 years ago
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆39Updated last month
• CrystalSplitter / ghcitui
  A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode
  ☆60Updated 4 months ago
• effectfully-ou / sketches
  A Haskell blog
  ☆150Updated 3 weeks ago
• tonyday567 / checklist
  How I start Haskell.
  ☆100Updated 3 months ago
• haskell-game / tiny-games-hs
  Haskell Tiny Game Jam
  ☆171Updated 2 years ago
• agda / agda-language-server
  Language Server for Agda
  ☆117Updated this week
• tomsmeding / pastebin-haskell
  Pastebin service in haskell
  ☆32Updated 11 months ago
• mniip / discord-eval
  A discord frontend for an interactive interpreter bot
  ☆22Updated 2 months ago
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆132Updated 2 months ago
• well-typed / grapesy
  Native Haskell gRPC client and server based on `http2`
  ☆77Updated this week
• mchav / dataframe
  A fast, safe, and intuitive DataFrame library.
  ☆146Updated this week
• ad-si / Brillo
  Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)
  ☆43Updated last month