Alternatives and similar repositories for grothendieck

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

• mighty-gerbils / gerbil-persist
  Persistence of concurrent activities for Gerbil Scheme
  ☆54Updated 3 months ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆134Updated last month
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆180Updated 4 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆171Updated this week
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆128Updated 8 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 last year
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆114Updated this week
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• bugsbugsbux / understanding-j
  An introduction to the J programming language that gets to the point.
  ☆66Updated 3 months ago
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆124Updated 5 months ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆91Updated 4 months ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• white-flame / am
  Douglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977
  ☆54Updated last year
• Dicklesworthstone / grassmann_article
  ☆52Updated last year
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆115Updated 7 years ago
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆120Updated 6 months ago
• seveno4 / EURISKO
  ☆60Updated last year
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆106Updated last month
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 6 years ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆29Updated 3 years ago
• interregna / arraylanguage-companies
  A List of companies that use Array Languages (J, K, APL, q)
  ☆100Updated last year
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 6 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 10 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 9 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 6 months ago
• NICTA / iris-reasoner
  Clone of iris-reasoner (http://iris-reasoner.org) from sourceforge
  ☆11Updated 9 years ago
• kparc / ksimple
  k/simple is a bare minimum k interpreter for learning purposes by arthur whitney
  ☆413Updated 4 months ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year