Alternatives and similar repositories for dcc

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

• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆98Updated 3 years ago
• serras / hinc
  Haskell In New Clothes
  ☆110Updated 5 years ago
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 4 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆113Updated 5 years ago
• typeclasses / haskell-phrasebook
  The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs
  ☆218Updated 3 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
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 3 years ago
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆161Updated 4 years ago
• cronokirby / haze
  A bittorrent client, for learning purposes
  ☆108Updated 6 years ago
• reflex-frp / reflex-vty
  Build terminal applications using functional reactive programming (FRP) with Reflex FRP.
  ☆146Updated last month
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆170Updated 3 months ago
• xieyuheng / study
  Study of language design and implementation.
  ☆67Updated 5 years ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated 4 months ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆204Updated last week
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆131Updated 5 years ago
• emilypi / group-theory
  The theory of groups
  ☆80Updated 2 years ago
• quchen / generative-art
  I wanted to make a nicer sticker for Munihac, then things got out of hand.
  ☆151Updated 8 months ago
• Soonad / Moonad
  An upcoming operating system built on Type-Theory
  ☆43Updated 5 years ago
• robrix / languages-all-the-way-down
  outline & examples for my ZuriHac 2020 talk, Languages All the Way Down
  ☆20Updated 5 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆86Updated last year
• fakedata-haskell / fakedata
  Haskell Library for producing quality fake data
  ☆149Updated 11 months ago
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆69Updated 3 weeks ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆169Updated 10 months ago
• nikita-volkov / jsonifier
  Fast and simple JSON encoding toolkit
  ☆84Updated last year
• saschagrunert / nn
  A tiny neural network 🧠
  ☆127Updated 7 years ago
• vivshaw / three-wise-monkeys
  You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?
  ☆34Updated 4 years ago
• kowainik / prolens
  👓 Profunctor based lightweight implementation of Lenses
  ☆71Updated 2 years ago
• srid / rib
  Haskell static site generator based on Shake (superseded by https://github.com/srid/ema)
  ☆118Updated 3 years ago
• effectfully-ou / sketches
  A Haskell blog
  ☆149Updated 2 months ago
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆156Updated 5 years ago