Alternatives and similar repositories for grothendieck

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

• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆132Updated 8 months ago
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆178Updated 4 years ago
• mighty-gerbils / gerbil-persist
  Persistence of concurrent activities for Gerbil Scheme
  ☆53Updated last month
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆128Updated 6 months ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆111Updated 3 weeks ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆92Updated 6 years ago
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆118Updated 4 months ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆36Updated 12 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆216Updated 11 months ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆91Updated last month
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆117Updated last week
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆166Updated 2 weeks ago
• bugsbugsbux / understanding-j
  An introduction to the J programming language that gets to the point.
  ☆64Updated 3 weeks ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆123Updated 12 years ago
• seveno4 / EURISKO
  ☆58Updated last year
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆102Updated 3 months ago
• cdglabs / sketchpad14
  Getting inspiration from Sutherland's 1961 Sketchpad and Overveld's retake on its relaxation technique 30 year after, we are working on a…
  ☆92Updated last year
• elenasa / ULAM
  Compiler for MFM programming language
  ☆59Updated 4 months ago
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆120Updated 3 months ago
• Dicklesworthstone / grassmann_article
  ☆51Updated last year
• barry-jay-personal / blog
  a general blog about my projects, or anything
  ☆21Updated 3 weeks ago
• mthom / scryer-shen
  ☆56Updated 2 months ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 6 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆114Updated 7 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 9 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆198Updated last year