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
  ☆53Updated 2 months ago
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆177Updated 4 years ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆134Updated last week
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆171Updated 2 weeks ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆112Updated 2 months ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆91Updated 3 months ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆43Updated 11 months ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆128Updated 7 months ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated 11 months ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• barry-jay-personal / blog
  a general blog about my projects, or anything
  ☆22Updated 2 months ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆123Updated 12 years ago
• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆42Updated 3 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• stchang / macrotypes
  ☆138Updated 3 years ago
• mthom / scryer-shen
  ☆56Updated 4 months ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• bugsbugsbux / understanding-j
  An introduction to the J programming language that gets to the point.
  ☆66Updated 2 months ago
• sshastry / queenslogic
  n queens with the logic monad
  ☆20Updated 10 years ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆103Updated last year
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆216Updated last year
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆117Updated this week
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆36Updated 12 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 6 years ago
• Dicklesworthstone / grassmann_article
  ☆52Updated last year
• melvinzhang / lambda-calculus-game
  ☆24Updated 3 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆92Updated 6 years ago
• lorin / epidemic-register
  Beating the CAP theorem with the epidemic register
  ☆17Updated 5 years ago