Alternatives and similar repositories for dcc

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

• serras / hinc
  Haskell In New Clothes
  ☆110Updated 5 years ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 3 years ago
• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆98Updated 3 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 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 2 years ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆204Updated last week
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated 5 months ago
• emilypi / group-theory
  The theory of groups
  ☆80Updated 2 years ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆131Updated 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
• Soonad / Moonad
  An upcoming operating system built on Type-Theory
  ☆43Updated 5 years ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆169Updated 11 months ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆60Updated 5 years ago
• Soonad / Whitepaper
  Moonad: a Peer-to-Peer Operating System
  ☆101Updated 5 years ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 years ago
• TotallyNotChase / valida
  Simple, elegant, profunctorial, applicative validation for product types!
  ☆19Updated 4 years ago
• Soonad / Formality-Core
  Specification of the Formality proof and programming language
  ☆41Updated 2 years ago
• quchen / generative-art
  I wanted to make a nicer sticker for Munihac, then things got out of hand.
  ☆152Updated 9 months ago
• vmchale / dickinson
  Text generation language
  ☆34Updated last month
• typeclasses / haskell-phrasebook
  The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs
  ☆219Updated 3 years ago
• grin-compiler / ghc-grin
  GRIN backend for GHC
  ☆143Updated 3 years ago
• 0x0f0f0f / yasih
  Yet another Scheme implemented in Haskell
  ☆20Updated 5 years ago
• xieyuheng / study
  Study of language design and implementation.
  ☆66Updated 5 years ago
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆161Updated 4 years ago
• vivshaw / three-wise-monkeys
  You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?
  ☆35Updated 4 years ago
• statebox / cql
  CQL: Categorical Query Language implementation in Haskell
  ☆179Updated 2 years ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆170Updated 4 months ago
• srid / rib
  Haskell static site generator based on Shake (superseded by https://github.com/srid/ema)
  ☆118Updated 3 years ago
• NorfairKing / autorecorder
  An automatic declarative ASCIInema recorder
  ☆46Updated 5 months ago