thalerjonathan / phd

Related projects ⓘ

Alternatives and complementary repositories for phd

• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆84Updated 8 years ago
• mstksg / inCode
  Source for personal blog.
  ☆76Updated this week
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆38Updated 2 years ago
• TikhonJelvis / inductive-mazes
  Code for my blog post "Generating Mazes with Inductive Graphs"
  ☆36Updated 6 years ago
• soupi / hablog
  A simple blogging platform with Haskell and Scotty
  ☆39Updated 2 years ago
• zenzike / yoda
  A simple combinator library
  ☆29Updated 6 years ago
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆71Updated 4 years ago
• evertedsphere / sound-and-complete
  An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
  ☆84Updated 6 years ago
• agda / agda-frp-js
  ECMAScript back end for Functional Reactive Programming in Agda
  ☆103Updated 7 years ago
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆54Updated last year
• VictorTaelin / articles
  Thoughts and stuff
  ☆67Updated 4 years ago
• robrix / path
  A lambda calculus to explore type-directed program synthesis.
  ☆84Updated 4 years ago
• ichistmeinname / free-proving
  Resources for "One Monad to Prove Them All"
  ☆28Updated 5 years ago
• mroman42 / vitrea
  Optics via the profunctor representation theorem
  ☆23Updated 2 years ago
• sstucki / system-f-agda
  A formalization of the polymorphic lambda calculus extended with iso-recursive types
  ☆70Updated 5 years ago
• amnh / PCG
  𝙋𝙝𝙮𝙡𝙤𝙜𝙚𝙣𝙚𝙩𝙞𝙘 𝘾𝙤𝙢𝙥𝙤𝙣𝙚𝙣𝙩 𝙂𝙧𝙖𝙥𝙝 ⸺ Haskell program and libraries for general phylogenetic graph search
  ☆28Updated 2 years ago
• dpndnt / library
  Library of the ##dependent distributed research support group
  ☆110Updated 4 months ago
• ekmett / algebra
  constructive abstract algebra
  ☆101Updated 4 years ago
• jfdm / idris-containers
  Various data structures for use in the Idris Language.
  ☆95Updated 4 years ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆83Updated last year
• VictorTaelin / ultimate-calculus
  ☆36Updated 2 years ago
• walkie / Hagl
  A Haskell DSEL for experimental game theory.
  ☆36Updated 2 years ago
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• xgrommx / agda-ecosystem
  ☆28Updated 6 years ago
• coot / free-algebras
  Free Algebras in Haskell
  ☆37Updated 2 months ago
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆37Updated 6 years ago
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆87Updated 6 years ago
• paf31 / the-future-is-comonadic
  My (rejected) OBT-2018 submission
  ☆35Updated 4 years ago