Alternatives and similar repositories for ELTE-func-lang

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

• nikita-volkov / vector-builder
  Vector builder
  ☆16Updated 4 months ago
• haskell-opengl / OpenGLRaw
  Haskell bindings to OpenGL (direct C bindings)
  ☆47Updated 11 months ago
• kosmikus / multirec
  ☆20Updated 4 years ago
• frex-project / idris-frex
  ☆47Updated last week
• iwilare / formal-methods
  Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the I…
  ☆18Updated 2 years ago
• ekmett / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆9Updated 2 years ago
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆57Updated last year
• lambdacube3d / lambdacube-gl
  OpenGL 3.3 Core Profile backend for LambdaCube 3D
  ☆24Updated last year
• nomeata / haskell-rec-def
  APIs for more recursive definitions
  ☆19Updated 7 months ago
• lspitzner / pqueue
  Haskell priority queue package
  ☆17Updated 2 months ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated this week
• mikeshulman / cohesivett
  Cohesive type theory
  ☆19Updated 3 years ago
• rzrn / ground_zero
  Ground Zero: Lean 4 HoTT Library
  ☆62Updated this week
• sjoerdvisscher / one-liner
  Constraint-based generics
  ☆49Updated last year
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 7 months ago
• mrkkrp / JuicyPixels-extra
  Efficiently scale, crop, flip images with JuicyPixels
  ☆14Updated 2 months ago
• BebeSparkelSparkel / biparsing
  Bidirectional Parsing. Work in Progress
  ☆32Updated 8 months ago
• byorgey / species
  ☆17Updated last year
• yav / monadlib
  A monad transformer library for Haskell
  ☆29Updated 9 months ago
• byteverse / posix-api
  haskell posix bindings
  ☆18Updated last week
• rampion / tree-traversals
  Functions and newtype wrappers for traversing Trees
  ☆30Updated 8 months ago
• xgrommx / agda-ecosystem
  ☆30Updated 7 years ago
• jespercockx / agda2scheme
  Compiler backend for generating Scheme code
  ☆26Updated last year
• expipiplus1 / vector-sized
  ☆35Updated 8 months ago
• HoTT / M-types
  A formalization of M-types in Agda
  ☆32Updated 5 years ago
• lspitzner / multistate
  haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type
  ☆17Updated 3 years ago
• AndrasKovacs / setoidtt
  Prototype implementations of systems based on setoid type theory
  ☆65Updated 4 years ago
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 4 years ago
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆37Updated 5 years ago
• ndmitchell / profiterole
  GHC prof manipulation script
  ☆32Updated last year