Alternatives and similar repositories for ELTE-func-lang

Users that are interested in ELTE-func-lang are comparing it to the libraries listed below

• agda / cubical
  An experimental library for Cubical Agda
  ☆525Updated last week
• agda / agda-stdlib
  The Agda standard library
  ☆642Updated this week
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆412Updated this week
• AndrasKovacs / elaboration-zoo
  Minimal implementations for dependent type checking and elaboration
  ☆753Updated 4 months ago
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆268Updated last year
• haskell-effectful / effectful
  An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
  ☆448Updated 4 months ago
• kowainik / relude
  🌀 Safe, performant, user-friendly and lightweight Haskell standard library
  ☆731Updated last week
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,058Updated 6 months ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆279Updated last week
• kowainik / stan
  🕵️ Haskell STatic ANalyser
  ☆586Updated 2 months ago
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆684Updated 3 weeks ago
• cedille / cedille
  Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
  ☆386Updated 2 years ago
• AccelerateHS / accelerate
  Embedded language for high-performance array computations
  ☆944Updated 3 weeks ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆320Updated 7 months ago
• ucsd-progsys / liquidhaskell
  Liquid Types For Haskell
  ☆1,279Updated this week
• augustss / MicroHs
  Haskell implemented with combinators
  ☆676Updated this week
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆464Updated 4 years ago
• jonascarpay / apecs
  a fast, extensible, type driven Haskell ECS framework for games
  ☆399Updated 2 weeks ago
• yesodweb / persistent
  Persistence interface for Haskell allowing multiple storage methods.
  ☆486Updated 3 weeks ago
• Gabriella439 / grace
  A prompt engineering functional programming language
  ☆480Updated this week
• UnkindPartition / tasty
  Modern and extensible testing framework for Haskell
  ☆658Updated 3 weeks ago
• AndrasKovacs / smalltt
  Demo for high-performance type theory elaboration
  ☆575Updated 2 years ago
• fused-effects / fused-effects
  A fast, flexible, fused effect system for Haskell
  ☆665Updated 3 weeks ago
• kowainik / summoner
  🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects
  ☆711Updated last year
• ollef / sixten
  Functional programming with fewer indirections
  ☆776Updated 5 years ago
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆366Updated last week
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆270Updated last year
• JetBrains / Arend
  The Arend Proof Assistant
  ☆736Updated 10 months ago
• mortberg / cubicaltt
  Experimental implementation of Cubical Type Theory
  ☆595Updated 2 years ago
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆268Updated this week