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 3 years ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 3 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
  ☆206Updated last week
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆85Updated 7 months ago
• TotallyNotChase / valida
  Simple, elegant, profunctorial, applicative validation for product types!
  ☆19Updated 4 years ago
• NorfairKing / autorecorder
  An automatic declarative ASCIInema recorder
  ☆46Updated 3 weeks ago
• Soonad / Formality-Core
  Specification of the Formality proof and programming language
  ☆41Updated 2 years ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated last month
• plaidfinch / myxine
  Get a GUI fast in any language under the sea!
  ☆47Updated 2 years ago
• emilypi / group-theory
  The theory of groups
  ☆80Updated 2 years ago
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆69Updated 3 months ago
• cronokirby / haze
  A bittorrent client, for learning purposes
  ☆108Updated 6 years ago
• Gizra / ihp-simple-seat-reservation
  ☆20Updated last year
• RoganMurley / GALGAGAME
  GALGA: Multiplayer card game written in Haskell and Elm.
  ☆139Updated 2 months ago
• ice1000 / agda-mode
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆27Updated last month
• robrix / languages-all-the-way-down
  outline & examples for my ZuriHac 2020 talk, Languages All the Way Down
  ☆20Updated 5 years ago
• kowainik / trial
  ⚖️ Trial Data Type
  ☆21Updated 6 months ago
• saschagrunert / nn
  A tiny neural network 🧠
  ☆127Updated 7 years ago
• quchen / generative-art
  I wanted to make a nicer sticker for Munihac, then things got out of hand.
  ☆152Updated last month
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆131Updated 5 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
• tchoutri / pg-entity
  A pleasant PostgreSQL database layer for Haskell
  ☆42Updated last week
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆162Updated 5 years ago
• effectfully-ou / sketches
  A Haskell blog
  ☆151Updated 2 months ago
• zenhack / haskell-capnp
  Cap'n Proto for Haskell
  ☆95Updated 2 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 4 years ago