Alternatives and similar repositories for lambda-calculator:

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

• AndrasKovacs / cctt
  high-performance cubical evaluation
  ☆69Updated 2 months ago
• anton-k / hindley-milner-type-check
  Haskell library for type-inference with Hindley-Milner type-system.
  ☆34Updated 8 months ago
• jonascarpay / calligraphy
  haskell source code visualizer
  ☆98Updated last year
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆36Updated 4 years ago
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆30Updated last month
• typedbyte / hagato
  Haskell Gamedev Toolkit, a library for developing games from scratch.
  ☆66Updated last year
• ners / dosh
  📺 The power of Haskell in your terminal!
  ☆42Updated last month
• JonathanLorimer / conceptual-mathematics
  Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics
  ☆26Updated 3 years ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆41Updated 4 years ago
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆57Updated 8 months ago
• effectfully / Generic
  A library for doing generic programming in Agda
  ☆31Updated 4 years ago
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆72Updated last month
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆126Updated last year
• tomjaguarpaw / bluefin
  ☆81Updated 3 weeks ago
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆88Updated last month
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆44Updated 3 years ago
• stefan-hoeck / idris2-sop
  Idris port of Haskell's sop-core library
  ☆34Updated last year
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆33Updated 5 months ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆29Updated last year
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆45Updated 2 years ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 3 months ago
• AndrasKovacs / staged-fusion
  Staged push/pull fusion with typed Template Haskell
  ☆57Updated last year
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆181Updated this week
• ucsd-progsys / liquid-fixpoint
  Horn Clause Constraint Solving for Liquid Types
  ☆144Updated 2 weeks ago
• alhassy / gentle-intro-to-reflection
  A slow-paced introduction to reflection in Agda. ---Tactics!
  ☆98Updated 2 years ago
• sweirich / challenge
  Strongly-typed System F in Haskell
  ☆117Updated 2 years ago
• effectfully-ou / sketches
  A Haskell blog
  ☆134Updated 7 months ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆56Updated last year
• turion / rhine
  Haskell Functional Reactive Programming framework with type-level clocks
  ☆129Updated this week