Alternatives and similar repositories for ELTE-func-lang

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

• nomeata / haskell-rec-def
  APIs for more recursive definitions
  ☆19Updated 8 months ago
• isovector / algebra-checkers
  checkers for algebra driven design
  ☆34Updated 2 years ago
• alexpeits / haskell-proofs
  Examples using dependent types for mathematical proofs at the type level
  ☆13Updated 5 years ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆59Updated last year
• rzrn / ground_zero
  Ground Zero: Lean 4 HoTT Library
  ☆62Updated 3 weeks ago
• UlfNorell / agda-bench
  Benchmarking tool for compile-time performance of Agda programs
  ☆19Updated 3 years ago
• sjoerdvisscher / one-liner
  Constraint-based generics
  ☆49Updated last year
• RyanGlScott / ghc-software-foundations
  The Software Foundations book, in GHC
  ☆82Updated 5 months ago
• dreixel / syb
  Scrap Your Boilerplate generic programming library in Haskell
  ☆46Updated 6 months ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆84Updated 4 months ago
• dalaing / little-languages
  Playing with DSLs in Haskell
  ☆22Updated 8 years ago
• aionescu / wasm-hs
  Type-safe WebAssembly eDSL in Haskell
  ☆27Updated 8 months ago
• AndrasKovacs / system-f-omega
  System F-omega normalization by hereditary substitution in Agda
  ☆59Updated 5 years ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 7 months ago
• frex-project / idris-frex
  ☆47Updated 3 weeks ago
• byorgey / species
  ☆17Updated last year
• serokell / haskell-crypto
  Haskell cryptography done right
  ☆18Updated 2 months ago
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆56Updated last year
• j-mie6 / design-patterns-for-parser-combinators
  A Really Cool Calculator written in Haskell... or is it?
  ☆43Updated 3 years ago
• byteverse / posix-api
  haskell posix bindings
  ☆18Updated last month
• kcsongor / register-machine-type
  Universal Register Machine implemented at the type-level of Haskell
  ☆23Updated 9 years ago
• nikivazou / EquationalReasoningInLiquidHaskell
  Derivation of Optimized Definitions Based on Specs
  ☆15Updated 5 years ago
• jespercockx / ataca
  A TACtic library for Agda
  ☆48Updated 9 months ago
• commercialhaskell / stackage-content
  Content for the stackage.org site
  ☆10Updated last month
• tjknoth / resyn
  ☆21Updated 4 years ago
• llvm-hs / llvm-hs-examples
  Examples for Haskell bindings to LLVM
  ☆72Updated 4 years ago
• jespercockx / agda2scheme
  Compiler backend for generating Scheme code
  ☆26Updated last year
• goldfirere / video-resources
  Resources to look at in concert with my Haskell videos
  ☆15Updated 2 years ago
• lspitzner / pqueue
  Haskell priority queue package
  ☆17Updated 2 months ago
• ajknapp / accelerate-ad
  Combinatory automatic differentiation in Haskell for heterogeneous computing.
  ☆22Updated 6 years ago