Alternatives and similar repositories for CS316-2022:

Users that are interested in CS316-2022 are comparing it to the libraries listed below

• alexfmpe / semantic-satiation
  ☆14Updated last year
• aspiwack / haskell-benign
  A library for benign effects in Haskell
  ☆20Updated last week
• parsonsmatt / prairie
  First Class Record Fields in Haskell
  ☆17Updated 8 months ago
• llee454 / functional-algebra
  This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…
  ☆28Updated 5 years ago
• MatthewDaggitt / agda-routing
  An Agda library for reasoning about asynchronous iterative algorithms and network routing problems
  ☆25Updated last year
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated last week
• bolt12 / tymfgg-pearl
  Type Your Matrices For Great Good
  ☆30Updated 4 years ago
• ekmett / hkd
  higher-kinded data
  ☆30Updated last year
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆29Updated last year
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆30Updated 3 weeks ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆52Updated 7 years ago
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 3 years ago
• mpickering / 500-sql-haskell
  A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"
  ☆46Updated 6 years ago
• martinescardo / EffectfulForcing
  Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …
  ☆11Updated 3 years ago
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆24Updated last week
• Gabriella439 / HasCal
  Haskell embedding of PlusCal
  ☆61Updated 2 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 6 months ago
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆37Updated 6 years ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆16Updated 4 years ago
• mattia-furlan / MasterThesisCTT
  Haskell implementation of a version of cubical type theory developed for my master thesis
  ☆16Updated 2 years ago
• jsiek / B629-denotational
  Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
  ☆72Updated 6 years ago
• ekmett / nbe-in-java-19
  a throwaway implementation of normalization by evaluation
  ☆13Updated 2 years ago
• Lysxia / system-F
  Formalization of the polymorphic lambda calculus and its parametricity theorem
  ☆34Updated 5 years ago
• pi8027 / stablesort
  Stable sort algorithms and their stability proofs in Coq
  ☆22Updated this week
• ConcreteCactus / lcc
  A compiler that translates a form of lambda calculus to C
  ☆12Updated 10 months ago
• andreasabel / helf
  Haskell implementation of the Edinburgh Logical Framework
  ☆27Updated 4 months ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆52Updated last month
• pcarbonn / H-Calc
  So, you want to write a DSL interpreter...
  ☆25Updated 6 years ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 3 years ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆41Updated 4 years ago