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
  ☆125Updated 5 months ago
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆173Updated 3 years ago
• mighty-gerbils / gerbil-persist
  Persistence of concurrent activities for Gerbil Scheme
  ☆50Updated this week
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆103Updated this week
• bugsbugsbux / understanding-j
  An introduction to the J programming language that gets to the point.
  ☆57Updated this week
• sshastry / queenslogic
  n queens with the logic monad
  ☆20Updated 10 years ago
• conal / talk-2018-deep-learning-rebooted
  "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin
  ☆52Updated 5 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 7 months ago
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆115Updated 3 weeks ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 5 years ago
• vmchale / apple
  Apple array system
  ☆66Updated this week
• harp-lab / slog-lang1
  Slog 1.0
  ☆42Updated 11 months ago
• barry-jay-personal / blog
  a general blog about my projects, or anything
  ☆18Updated last month
• jeprinz / pantograph
  ☆85Updated 3 months ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆52Updated 8 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated 2 years ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 10 months ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆201Updated 2 months ago
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated last year
• jkoppel / ecta
  ☆35Updated last year
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆95Updated 6 months ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated last month
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆158Updated this week
• granstrom / intuitionistic
  Automatically exported from code.google.com/p/intuitionistic
  ☆31Updated 10 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• interregna / arraylanguage-companies
  A List of companies that use Array Languages (J, K, APL, q)
  ☆99Updated last year
• stchang / macrotypes
  ☆137Updated 2 years ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆101Updated last year
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆42Updated 6 months ago
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago