Alternatives and similar repositories for dcc

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

• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 5 years ago
• serras / hinc
  Haskell In New Clothes
  ☆110Updated 5 years ago
• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆98Updated 4 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆113Updated 6 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 3 years ago
• emilypi / group-theory
  The theory of groups
  ☆81Updated 2 years ago
• vijayphoenix / Compiler-written-in-Haskell
  A Turing complete language 😉
  ☆42Updated 5 years ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆32Updated 2 months ago
• Soonad / Formality-Core
  Specification of the Formality proof and programming language
  ☆41Updated 2 years ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 3 years ago
• typeclasses / haskell-phrasebook
  The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs
  ☆219Updated 3 years ago
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆162Updated 5 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 4 years ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆85Updated 8 months ago
• reflex-frp / reflex-vty
  Build terminal applications using functional reactive programming (FRP) with Reflex FRP.
  ☆150Updated last month
• NorfairKing / autorecorder
  An automatic declarative ASCIInema recorder
  ☆46Updated last month
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆179Updated 2 weeks ago
• Soonad / Whitepaper
  Moonad: a Peer-to-Peer Operating System
  ☆101Updated 6 years ago
• cronokirby / haze
  A bittorrent client, for learning purposes
  ☆108Updated 6 years ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆173Updated this week
• robrix / languages-all-the-way-down
  outline & examples for my ZuriHac 2020 talk, Languages All the Way Down
  ☆20Updated 5 years ago
• plaidfinch / myxine
  Get a GUI fast in any language under the sea!
  ☆47Updated 2 years ago
• gelisam / hyzzy
  A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
  ☆32Updated 5 years ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆211Updated 2 weeks ago
• robrix / path
  A lambda calculus to explore type-directed program synthesis.
  ☆85Updated 6 years ago
• advancedresearch / poi
  a pragmatic point-free theorem prover assistant
  ☆143Updated 4 months ago
• fpco / schoolofhaskell.com
  ☆15Updated 5 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 3 years ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 years ago
• quchen / generative-art
  I wanted to make a nicer sticker for Munihac, then things got out of hand.
  ☆153Updated 2 months ago