Alternatives and similar repositories for ThreeDee

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

• BartoszMilewski / XOperad
  The implementation of tic-tac-toe using an operadic comonad
  ☆11Updated 4 years ago
• glaebhoerl / simplecompiler
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆17Updated 6 years ago
• google / btls
  BoringSSL-backed TLS and cryptography library for Haskell
  ☆15Updated 6 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated this week
• brunjlar / protop
  topos programming
  ☆31Updated 6 years ago
• google / ormolu
  This is a fork of https://github.com/tweag/ormolu.
  ☆13Updated 2 years ago
• dmjio / c-ffi-example
  Example usage of the Haskell C FFI with hsc2hs
  ☆12Updated 5 months ago
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆23Updated 13 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 10 years ago
• twanvl / ttie
  Type Theory with Indexed Equality
  ☆25Updated 8 years ago
• walck / cyclotomic
  A subfield of the complex numbers for exact calculation.
  ☆21Updated 5 years ago
• ekmett / multicategories
  Playing around with multicategories and operads
  ☆16Updated 9 years ago
• konn / sdg-agda
  Synthetic Differential Geometry in Agda
  ☆12Updated 10 years ago
• YellPika / constraint-rules
  Extend GHC's type checker with user-defined rules, without writing a type checker plugin.
  ☆18Updated 3 years ago
• ttuegel / statistical-elements
  The Elements of Statistical Learning in Haskell
  ☆13Updated 7 years ago
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 2 years ago
• mietek / formal-logic
  TODO
  ☆23Updated 9 years ago
• slindley / dependent-haskell
  ☆35Updated 11 years ago
• rudymatela / speculate
  Speculate laws about Haskell functions
  ☆30Updated 4 months ago
• ChrisPenner / wave-function-collapse
  Wave function collapse procedural generation for arbitrary graphs
  ☆15Updated 5 years ago
• xgrommx / agda-ecosystem
  ☆30Updated 7 years ago
• leepike / theresistance
  Bayesian solver for The Resistance card game: https://en.wikipedia.org/wiki/The_Resistance_(game)
  ☆11Updated 9 years ago
• CodaFi / Agda-Metaprogramming
  Dependently Typed Metaprogramming Exercises
  ☆23Updated 7 years ago
• capn-freako / Haskell_ML
  Various examples of machine learning, in Haskell.
  ☆20Updated 3 years ago
• ekmett / codebruijn
  experiments with pext/pdep and codebruijn syntax
  ☆17Updated 5 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• sirlensalot / fadno-braids
  Braid representations in Haskell
  ☆22Updated last year
• rampion / tree-traversals
  Functions and newtype wrappers for traversing Trees
  ☆30Updated 8 months ago
• factisresearch / opensource
  Haskell: Monorepo for our open source packages
  ☆17Updated 7 years ago
• agda-attic / agda-system-io
  Bindings to Haskell's IO monad which respect Agda's semantics
  ☆24Updated 6 years ago