Alternatives and similar repositories for CS410-17

Users that are interested in CS410-17 are comparing it to the libraries listed below

• goldfirere / glambda
  The home of the Glamorous Glambda interpreter
  ☆224Updated 2 months ago
• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆346Updated 6 months ago
• RobertHarper / hott-notes
  15-819 (Homotopy Type Theory) Lecture Notes
  ☆55Updated 4 years ago
• sweirich / dth
  Examples of Dependently-typed programs in Haskell
  ☆304Updated 2 years ago
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆205Updated 5 years ago
• ekmett / guanxi
  Relational programming in Haskell. Mostly developed on twitch.
  ☆263Updated 9 months ago
• antalsz / hs-to-coq
  Convert Haskell source code to Coq source code
  ☆281Updated 4 years ago
• lexi-lambda / freer-simple
  A friendly effect system for Haskell
  ☆232Updated last year
• goldfirere / singletons
  Fake dependent types in Haskell using singletons
  ☆290Updated 2 months ago
• idris-hackers / software-foundations
  Software Foundations in Idris
  ☆454Updated 6 years ago
• agda / agda-categories
  A new Categories library for Agda
  ☆382Updated this week
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆301Updated last year
• compiling-to-categories / concat
  Compiling to Categories
  ☆454Updated last year
• snowleopard / alga-paper
  A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
  ☆197Updated 3 years ago
• tweag / linear-base
  Standard library for linear types in Haskell.
  ☆343Updated 3 weeks ago
• sweirich / pi-forall
  A demo implementation of a simple dependently-typed language
  ☆594Updated 7 months ago
• martinescardo / HoTT-UF-Agda-Lecture-Notes
  Lecture notes on univalent foundations of mathematics with Agda
  ☆229Updated last year
• takenobu-hs / haskell-ghc-illustrated
  haskell ghc-illustrated
  ☆260Updated 4 years ago
• LeventErkok / sbv
  SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
  ☆254Updated this week
• jwiegley / coq-haskell
  A library for formalizing Haskell types and functions in Coq
  ☆170Updated last year
• well-typed / optics
  Optics as an abstract interface
  ☆385Updated last week
• jozefg / higher-order-unification
  A small implementation of higher-order unification
  ☆188Updated 7 years ago
• sweirich / challenge
  Strongly-typed System F in Haskell
  ☆117Updated 2 years ago
• haskell / vector
  An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
  ☆380Updated 4 months ago
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆267Updated last year
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆160Updated 4 years ago
• uhub / awesome-coq
  A curated list of awesome Coq frameworks, libraries and software.
  ☆234Updated last week
• mortberg / cubicaltt
  Experimental implementation of Cubical Type Theory
  ☆582Updated last year
• advancedtelematic / quickcheck-state-machine
  Test monadic programs using state machine based models
  ☆204Updated 4 years ago
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆371Updated 4 years ago