Alternatives and similar repositories for lambda-calculator

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

• tomsmeding / pastebin-haskell
  Pastebin service in haskell
  ☆31Updated 6 months ago
• typedbyte / hagato
  Haskell Gamedev Toolkit, a library for developing games from scratch.
  ☆67Updated last year
• haskellfoundation / error-message-index
  A community-driven collection of documentation for Haskell error messages and warnings
  ☆105Updated 2 months ago
• aaronallen8455 / breakpoint
  Set breakpoints using a GHC plugin
  ☆49Updated last year
• AndrasKovacs / staged-fusion
  Staged push/pull fusion with typed Template Haskell
  ☆59Updated last year
• well-typed / hs-bindgen
  Automatically generate Haskell bindings from C header files
  ☆48Updated this week
• well-typed / visualize-cbn
  ☆101Updated 2 months ago
• klapaucius / fphistoryru
  ☆13Updated this week
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆27Updated 2 months ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆46Updated 2 years ago
• Ubspy / Haskell-Tetris
  Final project for EECS 368 written in Haskell
  ☆23Updated 4 years ago
• tomjaguarpaw / bluefin
  ☆105Updated last week
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆44Updated 3 years ago
• AndrasKovacs / implicit-fun-elaboration
  Implementation for ICFP 2020 paper
  ☆52Updated 3 years ago
• chshersh / dr-cabal
  📊 Haskell dependencies build times profiler
  ☆73Updated 2 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆30Updated last year
• well-typed / grapesy
  Native Haskell gRPC client and server based on `http2`
  ☆71Updated 2 weeks ago
• Haskell-Chapelure / chapelure
  Chapelure is a diagnostic library for Haskell
  ☆45Updated last year
• cdupont / Timeloop
  ☆41Updated last year
• takenobu-hs / haskell-ghc-reading-guide
  Haskell GHC reading guide
  ☆35Updated 4 years ago
• haskell-text / text-display
  A Typeclass for user-facing output
  ☆56Updated 2 months ago
• josephsumabat / static-ls
  ☆155Updated 3 weeks ago
• haskell / error-messages
  ☆72Updated 2 years ago
• ners / dosh
  📺 The power of Haskell in your terminal!
  ☆42Updated 2 weeks ago
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆128Updated 2 years ago
• ocharles / weeder
  A re-implementation of weeder using HIE files
  ☆176Updated 3 months ago
• pigworker / TypesWhoSayNi
  being the materials for a paper I have in mind to write about the bidirectional discipline
  ☆52Updated 10 months ago
• AndrasKovacs / normalization-bench
  Lambda normalization and conversion checking benchmarks for various implementations
  ☆59Updated 4 years ago
• phadej / cabal-extras
  A tool suite to aid Haskell development using `cabal-install`
  ☆86Updated last week
• morphismtech / distributors
  Distributors - Unifying Parsers, Printers & Grammars
  ☆25Updated last month