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 4 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
• emilypi / group-theory
  The theory of groups
  ☆80Updated 2 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 3 years ago
• ice1000 / agda-mode
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆27Updated 2 weeks ago
• robrix / languages-all-the-way-down
  outline & examples for my ZuriHac 2020 talk, Languages All the Way Down
  ☆20Updated 5 years ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated 6 months ago
• vijayphoenix / Compiler-written-in-Haskell
  A Turing complete language 😉
  ☆42Updated 5 years ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆205Updated last week
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆69Updated 2 months ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 years ago
• bgavran / Agda_Category_Theory
  Formalization of category theory in Agda
  ☆17Updated 2 years ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 2 weeks ago
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆118Updated 3 years ago
• reflex-frp / reflex-vty
  Build terminal applications using functional reactive programming (FRP) with Reflex FRP.
  ☆150Updated last month
• vivshaw / three-wise-monkeys
  You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?
  ☆35Updated 4 years ago
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆161Updated 5 years ago
• xieyuheng / study
  Study of language design and implementation.
  ☆66Updated 5 years ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆174Updated this week
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆113Updated 6 years ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆130Updated 3 months ago
• blynn / morans
  Get a Brain
  ☆24Updated 5 years ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆170Updated last week
• Soonad / Formality-Core
  Specification of the Formality proof and programming language
  ☆41Updated 2 years ago
• Soonad / Whitepaper
  Moonad: a Peer-to-Peer Operating System
  ☆101Updated 5 years ago
• NorfairKing / autorecorder
  An automatic declarative ASCIInema recorder
  ☆46Updated 6 months ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆131Updated 5 years ago
• typeclasses / haskell-phrasebook
  The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs
  ☆219Updated 3 years ago