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 3 months ago
• re-xyr / avail
  Low-overhead effect management for concrete monads
  ☆37Updated 2 years ago
• byorgey / species
  ☆17Updated last year
• haskell-distributed / distributed-process-demos
  Cloud Haskell Demonstration
  ☆18Updated 9 years ago
• shapr / usehaskellfromc
  write Haskell code, call it from C code
  ☆13Updated 6 years ago
• mstksg / advent-of-code-2022
  🎅🌟❄️☃️🎄🎁
  ☆13Updated 3 months ago
• isovector / algebra-checkers
  checkers for algebra driven design
  ☆34Updated 2 years ago
• ekmett / transformers-compat
  transformers compatibility shim
  ☆10Updated last year
• haskell-works / hw-simd
  Library of simd functions
  ☆17Updated last year
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 3 months ago
• yav / monadlib
  A monad transformer library for Haskell
  ☆29Updated 5 months ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆56Updated last year
• lortabac / ariel
  A simple, purely-functional programming language
  ☆24Updated 2 years ago
• LightAndLight / closure
  Closure calculus implementation
  ☆12Updated 5 years ago
• byteverse / posix-api
  haskell posix bindings
  ☆18Updated 11 months ago
• xnning / TypeInfer
  Type inference for 'type level computation one step at a time'
  ☆12Updated 7 years ago
• GaloisInc / argo
  A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
  ☆15Updated 5 months ago
• lambdacube3d / lambdacube-gl
  OpenGL 3.3 Core Profile backend for LambdaCube 3D
  ☆22Updated last year
• frex-project / idris-frex
  ☆47Updated 2 months ago
• rudymatela / express
  Dynamically-typed Haskell expressions involving applications and variables.
  ☆22Updated 3 weeks ago
• edsko / friendly
  Generic pretty-printer for program output
  ☆11Updated last year
• xnning / dependent-types-in-haskell
  Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup
  ☆15Updated 6 years ago
• minad / persist
  Minimal binary serialization library with focus on performance
  ☆17Updated 4 years ago
• dreixel / generic-deriving
  ☆44Updated 2 months ago
• NorfairKing / nanosmos
  A simple text editor written in Haskell with Brick
  ☆13Updated 5 years ago
• lkuper / lvar-examples
  Programming with LVars, by example
  ☆35Updated 9 years ago
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 2 months ago
• treeowl / compact-sequences
  Stacks and queues with compact representations
  ☆16Updated 4 years ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆30Updated 3 weeks ago
• i-am-tom / dagmore
  Less Type, more Typeable.
  ☆14Updated 6 years ago