Alternatives and similar repositories for thesis:

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

• dlicata335 / hott-agda
  ☆84Updated 7 years ago
• isovector / jazz
  i bet you there is a typesystem behind music
  ☆32Updated 6 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆40Updated 5 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆31Updated 4 years ago
• ecaustin / haskhol-core
  The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
  ☆2Updated 8 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆53Updated last month
• idontgetoutmuch / NumMethHaskell
  Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics
  ☆57Updated 4 years ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆97Updated 9 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 11 years ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 7 years ago
• waivio / cl3
  Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)
  ☆57Updated 3 years ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆42Updated last year
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 9 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 7 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆37Updated 14 years ago
• conal / talk-2016-generic-fft
  A talk on type-generic FFT in Haskell
  ☆46Updated 3 years ago
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 7 years ago
• lanl / APPFL
  Auto-parallelizing Pure Functional Language
  ☆27Updated 6 years ago
• ekmett / multicategories
  Playing around with multicategories and operads
  ☆16Updated 9 years ago
• evertedsphere / noether
  Highly polymorphic algebraic structures with custom deriving strategies
  ☆30Updated 3 years ago
• abooij / wiwikwlhott
  What I wish I knew when learning HoTT
  ☆53Updated 6 years ago
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆56Updated last year
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated 5 months ago
• UlfNorell / agda-summer-school
  Summer school on programming in Agda
  ☆68Updated last year
• TheoWinterhalter / formal-type-theory
  Formalising Type Theory in a modular way for translations between type theories
  ☆94Updated 7 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 3 years ago
• sbp / idris-bi
  Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
  ☆36Updated 4 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 7 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated last month