Alternatives and similar repositories for dcc

Users that are interested in dcc are comparing it to the libraries listed below

• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 3 years ago
• serras / hinc
  Haskell In New Clothes
  ☆110Updated 4 years ago
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 4 years ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆197Updated last month
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated last year
• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆98Updated 3 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆112Updated 5 years ago
• Simspace / avaleryar
  A logical authorization system
  ☆51Updated 3 years ago
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆118Updated 3 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆85Updated last year
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆59Updated 5 years ago
• leopiney / tensor-safe
  A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.
  ☆102Updated 2 years ago
• ice1000 / agda-mode
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆26Updated 4 years ago
• advancedresearch / poi
  a pragmatic point-free theorem prover assistant
  ☆141Updated last year
• NorfairKing / autorecorder
  An automatic declarative ASCIInema recorder
  ☆43Updated last month
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last month
• sdiehl / double-ratchet
  Double ratchet algorithm for E2E encryption
  ☆59Updated 6 years ago
• cronokirby / haze
  A bittorrent client, for learning purposes
  ☆109Updated 5 years ago
• saschagrunert / nn
  A tiny neural network 🧠
  ☆127Updated 7 years ago
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 6 years ago
• reflex-frp / reflex-vty
  Build terminal applications using functional reactive programming (FRP) with Reflex FRP.
  ☆146Updated 8 months ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆165Updated 3 weeks ago
• junjihashimoto / sixel
  ☆54Updated 4 years ago
• fumieval / Haskell-breaking-changes
  ☆88Updated 3 years ago
• quchen / generative-art
  I wanted to make a nicer sticker for Munihac, then things got out of hand.
  ☆150Updated 6 months ago
• Soonad / Formality-Core
  Specification of the Formality proof and programming language
  ☆41Updated 2 years ago
• frizensami / haskell-optimization
  A beginner's guide to Haskell optimization
  ☆64Updated 7 years ago
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆161Updated 4 years ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆130Updated 5 years ago
• typeclasses / haskell-phrasebook
  The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs
  ☆217Updated 3 years ago