Alternatives and similar repositories for thesis:

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

• ga / haskell
  A geometric algebra implementation in Haskell
  ☆29Updated 4 years ago
• dlicata335 / hott-agda
  ☆84Updated 7 years ago
• isovector / jazz
  i bet you there is a typesystem behind music
  ☆32Updated 6 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆53Updated last week
• ericfinster / opetopic
  Web based opetopic editor
  ☆35Updated 5 months ago
• scmu / foundations-harper
  Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.
  ☆54Updated 5 years ago
• pa-ba / McCarthy-Painter
  Coq proof for the paper "Compiling a Fifty Year Journey"
  ☆13Updated 7 years ago
• frelindb / agsyHOL
  ☆22Updated 8 years ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 6 years ago
• konn / sdg-agda
  Synthetic Differential Geometry in Agda
  ☆12Updated 10 years ago
• evertedsphere / noether
  Highly polymorphic algebraic structures with custom deriving strategies
  ☆30Updated 3 years ago
• mikeshulman / cohesivett
  Cohesive type theory
  ☆19Updated 3 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 6 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆37Updated 14 years ago
• sbp / idris-bi
  Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
  ☆36Updated 4 years ago
• jozefg / miniprl
  A small implementation of a proof refinement logic.
  ☆50Updated 7 years ago
• pigworker / Totality
  being the programs and code for a paper about general recursion
  ☆25Updated 10 years ago
• cmu-phil / Spectral
  ☆46Updated last year
• ecaustin / haskhol-core
  The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
  ☆2Updated 8 years ago
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• markokoleznik / agda-writer
  A simple GUI for Agda
  ☆31Updated 9 years ago
• mstksg / inCode
  Source for personal blog.
  ☆77Updated last week
• mstksg / backprop-learn
  Combinators and types for easily building trainable neural networks using the backprop library
  ☆33Updated 5 years ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 9 years ago
• pigworker / MetaprogAgda
  being the materials for Summer 2013's course
  ☆112Updated last year
• dmjio / Julio
  Julia embedded in Haskell
  ☆53Updated 4 months ago
• jpaykin / LNLHaskell
  Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic
  ☆35Updated 6 years ago
• simhu / cubical
  Implementation of Univalence in Cubical Sets
  ☆144Updated 9 years ago
• UlfNorell / agda-summer-school
  Summer school on programming in Agda
  ☆68Updated last year