Alternatives and similar repositories for gap-sys

Users that are interested in gap-sys are comparing it to the libraries listed below

• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆35Updated 8 months ago
• reissbaker / clevergpt
  Training GPTs to solve interaction nets
  ☆17Updated 9 months ago
• doomslide / baby-compiler
  It's a baby compiler. (Lean btw.)
  ☆16Updated 2 weeks ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆17Updated 7 months ago
• eth-sri / type-constrained-code-generation
  ☆49Updated 3 weeks ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆76Updated last week
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆48Updated 3 years ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆64Updated 4 months ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆62Updated 2 months ago
• harp-lab / gdlog
  ☆82Updated 7 months ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆202Updated 3 months ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 3 months ago
• LaurentMazare / ug
  Experimental compiler for deep learning models
  ☆67Updated last week
• Gadersd / ic
  An interaction combinator runtime
  ☆17Updated 8 months ago
• GammaTauAI / opentau
  Using Large Language Models for Repo-wide Type Prediction
  ☆109Updated last year
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆74Updated 8 months ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆21Updated 6 months ago
• scallop-lang / scallop-old
  [Archived] A scalable differentiable probabilistic Datalog engine, with Rust
  ☆73Updated 3 years ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆105Updated 7 months ago
• probcomp / adev
  Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
  ☆64Updated last year
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• geohot / tt-tiny
  tiny code to access tenstorrent blackhole
  ☆48Updated last week
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆12Updated 2 years ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆21Updated last year
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆60Updated 10 months ago
• madvorak / read-lean
  How to read Lean
  ☆17Updated 4 months ago
• charlesfrye / cuda-substrings
  Because it's there.
  ☆16Updated 8 months ago