byorgey / thesis

Related projects: ⓘ

• ericfinster / opetopic
  Web based opetopic editor
  ☆34Updated 4 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆28Updated 4 years ago
• dmjio / Julio
  Julia embedded in Haskell
  ☆53Updated 5 years ago
• mikeshulman / cohesivett
  Cohesive type theory
  ☆18Updated 2 years ago
• waivio / cl3
  Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)
  ☆57Updated 2 years ago
• isovector / jazz
  i bet you there is a typesystem behind music
  ☆30Updated 5 years ago
• gallais / generic-syntax
  A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
  ☆68Updated 2 years ago
• fieldstrength / probability
  Probabilistic computation in Idris
  ☆33Updated 5 years ago
• pnwamk / stop2015-redex
  PLT Redex model of basic Dependently Typed Racket calculus
  ☆18Updated 9 years ago
• dpiponi / provability
  Some tools for provability logic
  ☆36Updated 6 years ago
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 6 years ago
• arthuraa / poleiro
  A blog about Coq
  ☆46Updated 2 years ago
• sweirich / corespec
  A Specification for Dependent Types in Haskell (Core)
  ☆65Updated 2 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆22Updated 4 years ago
• mstksg / backprop-learn
  Combinators and types for easily building trainable neural networks using the backprop library
  ☆33Updated 4 years ago
• markokoleznik / agda-writer
  A simple GUI for Agda
  ☆31Updated 8 years ago
• FFaissole / Valuations
  Synthetic Topology in Homotopy Type Theory for probabilstic programming
  ☆12Updated 6 years ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆45Updated last month
• idontgetoutmuch / NumMethHaskell
  Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics
  ☆56Updated 3 years ago
• jozefg / miniprl
  A small implementation of a proof refinement logic.
  ☆50Updated 7 years ago
• associahedron / HoTT-Idris
  ☆63Updated this week
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• jaredloomis / Idris-HoTT
  Homotopy Type Theory proofs in Idris
  ☆21Updated 5 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• HIPERFIT / accelerate-opencl
  ☆35Updated 12 years ago
• OPLSS / oplss-notes-2017
  handouts and notes from the 2017 edition of the summer school
  ☆39Updated 7 years ago
• pigworker / MetaprogAgda
  being the materials for Summer 2013's course
  ☆110Updated last year
• mietek / formal-logic
  TODO
  ☆23Updated 8 years ago