madnight / awesome-category-theory

Related projects ⓘ

Alternatives and complementary repositories for awesome-category-theory

• BobMcDear / trap
  Autoregressive transformers in APL
  ☆89Updated last month
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated 9 months ago
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆225Updated last year
• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆95Updated 10 months ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆108Updated 6 months ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆83Updated 7 months ago
• Dicklesworthstone / grassmann_article
  ☆50Updated 5 months ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆100Updated last year
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆90Updated last year
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆205Updated 2 weeks ago
• interregna / arraylanguage-companies
  A List of companies that use Array Languages (J, K, APL, q)
  ☆93Updated 8 months ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated last month
• stylewarning / quantum-interpreter
  A tiny, self-contained, general-purpose quantum interpreter.
  ☆45Updated last year
• toblotron / praxis-ide
  An online IDE for visual programming in Prolog
  ☆235Updated last week
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆161Updated this week
• ButlerOS / haskell-butler
  ☆89Updated 3 weeks ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆102Updated 3 months ago
• mighty-gerbils / gerbil-persist
  Persistence of concurrent activities for Gerbil Scheme
  ☆48Updated last month
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆68Updated last month
• kelas / ooj
  the origins of J
  ☆60Updated last year
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆188Updated last year
• abuseofnotation / category-theory-illustrated
  A book about category theory
  ☆343Updated last week
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆130Updated 7 months ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆55Updated last month
• trealla-prolog / trealla
  A compact, efficient Prolog interpreter written in plain-old C.
  ☆274Updated this week
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆102Updated this week
• HnimNart / deeplearning
  ☆53Updated 3 years ago
• i4ki / awesome-sml
  Useful things for Standard ML
  ☆59Updated last month
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆89Updated 6 years ago
• ToposInstitute / poly
  ☆109Updated 4 months ago