Alternatives and similar repositories for dcc:

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

• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 9 months ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆29Updated 2 years ago
• ice1000 / agda-mode
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆26Updated 4 years ago
• complyue / ooh
  PoC for Object Oriented Haskell
  ☆21Updated 5 years ago
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 4 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 2 years ago
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆68Updated 2 weeks ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆112Updated 5 years ago
• Simspace / avaleryar
  A logical authorization system
  ☆50Updated 3 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 5 years ago
• NorfairKing / autorecorder
  An automatic declarative ASCIInema recorder
  ☆42Updated last year
• juspay / medea
  A JSON schema language
  ☆26Updated last week
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• TotallyNotChase / valida
  Simple, elegant, profunctorial, applicative validation for product types!
  ☆19Updated 3 years ago
• robrix / languages-all-the-way-down
  outline & examples for my ZuriHac 2020 talk, Languages All the Way Down
  ☆20Updated 4 years ago
• inanna-malick / mononoke
  Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …
  ☆3Updated 3 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆59Updated 4 years ago
• vmchale / dickinson
  Text generation language
  ☆33Updated 2 months ago
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 3 years ago
• advancedresearch / poi
  a pragmatic point-free theorem prover assistant
  ☆140Updated last year
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last month
• nixpulvis / lambash
  A λ-calculus shell (because I love writing shells).
  ☆11Updated 5 years ago
• emilypi / group-theory
  The theory of groups
  ☆76Updated last year
• xieyuheng / study
  Study of language design and implementation.
  ☆67Updated 4 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 3 years ago
• mikesol / plzwrk
  A Haskell front-end framework
  ☆38Updated 4 years ago
• fumieval / Haskell-breaking-changes
  ☆88Updated 3 years ago
• serokell / haskell-with-utf8
  Get your IO right on the first try
  ☆54Updated this week
• 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
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 6 years ago