Alternatives and similar repositories for thesis

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

• pigworker / ProgrammerCommaCon
  being a collection of Agda-facilitated ramblings
  ☆33Updated 5 years ago
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆62Updated last year
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 10 years ago
• frex-project / haskell-frex
  ☆23Updated last year
• effectfully / Generic
  A library for doing generic programming in Agda
  ☆31Updated 4 years ago
• pigworker / Saturday
  being a thing I build on a Saturday
  ☆28Updated 7 years ago
• wenkokke / priority-sesh
  Session Types with Priority in Linear Haskell
  ☆27Updated last year
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆37Updated last month
• gallais / agda-sizedIO
  IO using sized types and copatterns
  ☆35Updated 4 years ago
• glguy / generic-traverse
  Demonstration for how to build "traverse" using GHC.Generics efficiently
  ☆22Updated 6 years ago
• sweirich / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆29Updated 3 years ago
• osa1 / StrictCore
  An experimental intermediate language for GHC
  ☆36Updated 7 years ago
• laurmcarter / type-combinators
  Type level lists, pairs, sums, their operations, and their properties.
  ☆24Updated 6 years ago
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 8 years ago
• gallais / potpourri
  Where my everyday research happens
  ☆53Updated 2 weeks ago
• Lysxia / profunctor-monad
  Bidirectional programming in Haskell with monadic profunctors
  ☆46Updated 3 years ago
• gallais / generic-syntax
  A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
  ☆73Updated 3 years ago
• DanBurton / system-f
  System F implemented in Haskell
  ☆24Updated 13 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆53Updated 2 months ago
• danidiaz / streamy
  Using Backpack to abstract over the main Haskell streaming libraries.
  ☆34Updated 7 years ago
• jwiegley / categorical
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Updated 7 years ago
• puffnfresh / leftpad.hs
  Verified left pad
  ☆19Updated 7 years ago
• sweirich / replib
  Replib: generic programming & Unbound: generic treatment of binders
  ☆45Updated 2 years ago
• dorchard / effectful-explanations-talk
  "Programs that explain their effects" talk material
  ☆17Updated 7 years ago
• gallais / typing-with-leftovers
  Self-contained repository for the eponymous paper
  ☆30Updated 6 years ago
• phadej / acme-kmett
  A collection of Edward Kmett's packages in a single repository
  ☆16Updated 4 years ago
• chadaustin / buffer-builder
  Haskell library for efficiently building up buffers
  ☆26Updated 5 months ago
• mstksg / uncertain
  Manipulating numbers with inherent measurement/experimental uncertainty.
  ☆25Updated 9 months ago
• hackage-trustees / hackage-cli
  CLI tool for Hackage
  ☆26Updated 3 weeks ago
• wenkokke / msla2014
  wherein I implement several substructural logics in Agda
  ☆24Updated 6 years ago