Alternatives and similar repositories for lambda-explorer

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

• corazza / game-idris
  A 2D platformer in Idris, a dependently-typed purely functional programming language
  ☆25Updated 4 years ago
• glebec / left-recursion
  Quick explanation of eliminating left recursion in Haskell parsers
  ☆50Updated 3 years ago
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆52Updated last year
• gonzaw / extensible-records
  Extensible records for Idris
  ☆26Updated 3 years ago
• tweag / kernmantle
  Braiding extensible effects together in a pipeline/workflow of tasks
  ☆58Updated last year
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆36Updated 2 years ago
• LightAndLight / sage
  Efficient parser combinators for Haskell
  ☆39Updated last week
• patrickt / haskell-project-ideas
  Free ideas, worth every penny
  ☆32Updated 4 years ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated 2 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆31Updated last year
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆53Updated 8 years ago
• ajnsit / concur-documentation
  Documentation for Concur
  ☆65Updated last year
• NorfairKing / easyspec
  Signature inference for Functional Property Discovery in Haskell
  ☆38Updated 7 years ago
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆68Updated last month
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated last week
• mgrabmueller / AlgorithmW
  Example implementation of Algorithm W for Hindley-Milner type inference
  ☆80Updated 3 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated 4 months ago
• TikhonJelvis / Simple-Prolog
  A simple Prolog interpreter
  ☆42Updated 3 years ago
• inanna-malick / mononoke
  Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …
  ☆3Updated 3 years ago
• eayus / sirdi
  Package manager for Idris
  ☆35Updated 2 years ago
• Gabriella439 / HasCal
  Haskell embedding of PlusCal
  ☆61Updated 3 years ago
• llelf / icfp2020-papers
  ICFP 2020 papers. Crowd-sourced
  ☆91Updated 4 years ago
• idris-community / inigo
  Inigo: A Package Manager for Idris2
  ☆61Updated 2 years ago
• ocharles / effect-zoo
  Comparing Haskell effect systems for ergonomics and speed
  ☆66Updated 4 years ago
• paf31 / dovetail
  A PureScript interpreter in Haskell
  ☆120Updated 3 years ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆39Updated 4 years ago
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated 3 months ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• timjs / idris-clean
  A priliminary backend for Idris that compiles to Clean.
  ☆15Updated 8 years ago