prathyvsh / learning-topology

Related projects ⓘ

Alternatives and complementary repositories for learning-topology

• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆49Updated 9 months ago
• prathyvsh / history-of-lambda-calculus
  Survey on materials that touch on the history of Lambda Calculus
  ☆12Updated 4 years ago
• ToposInstitute / polytt
  A type theory with native support for Polynomial Functors.
  ☆38Updated last year
• JohnWCartmell / Theory
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆37Updated last month
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• Lysxia / gradual-eff-paper
  ☆17Updated last year
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated 5 months ago
• smimram / strid
  A string diagram generator for LaTeX.
  ☆26Updated last year
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 4 years ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆58Updated 4 years ago
• atzedijkstra / chr
  Constraint Handling Rules
  ☆15Updated 2 months ago
• xieyuheng / cat
  A categorical semantics library in Agda.
  ☆17Updated 4 years ago
• b-mehta / combinatorics
  ☆21Updated 2 years ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆38Updated 4 years ago
• wilbowma / dissertation
  The source for "Compiling with Dependent Types" (my dissertation)
  ☆30Updated 2 years ago
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 3 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated last year
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆15Updated 4 years ago
• llee454 / functional-algebra
  This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…
  ☆28Updated 5 years ago
• vmchale / dickinson
  Text generation language
  ☆32Updated 3 weeks ago
• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆14Updated 4 months ago
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆71Updated 4 years ago
• math-comp / Abel
  A proof of Abel-Ruffini theorem.
  ☆28Updated last week
• cedille / ial
  The Iowa Agda Library
  ☆46Updated 6 months ago
• kayceesrk / cs6225_s21_iitm
  Course Website for CS6225: Programs and Proofs @ IIT Madras
  ☆11Updated 3 years ago
• ualib / agda-algebras
  The Agda Universal Algebra Library (html docs available at the url below)
  ☆29Updated 6 months ago
• bgavran / Agda_Category_Theory
  Formalization of category theory in Agda
  ☆14Updated last year