symbolica-ai / gap-sys

Related projects ⓘ

Alternatives and complementary repositories for gap-sys

• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆15Updated last month
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆30Updated 2 months ago
• lenianiva / PyPantograph
  A Machine-to-Machine Interaction System for Lean 4.
  ☆16Updated last week
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆108Updated 6 months ago
• harp-lab / gdlog
  ☆75Updated last month
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated this week
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated last year
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆65Updated 2 months ago
• madvorak / read-lean
  How to read Lean
  ☆16Updated 2 weeks ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆36Updated 2 weeks ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆31Updated 3 years ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆92Updated last month
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆65Updated this week
• ammkrn / timelib
  A date and time library for Lean 4
  ☆11Updated 7 months ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆25Updated 5 months ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆15Updated last year
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆32Updated 11 months ago
• reissbaker / clevergpt
  Training GPTs to solve interaction nets
  ☆16Updated 3 months ago
• adamnemecek / traceoid.ai
  ☆38Updated last month
• tlaplus-community / tlauc
  Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
  ☆29Updated last month
• HnimNart / deeplearning
  ☆53Updated 3 years ago
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated last year
• nelhage / transformer-rs
  A sketch of a Transformer in Rust for a blog post
  ☆29Updated 2 years ago
• jsm28 / AperiodicMonotilesLean
  Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
  ☆13Updated this week
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated last week
• extism / lean4-sdk
  Extism Lean 4 Host SDK
  ☆15Updated 3 weeks ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆47Updated last year
• Gadersd / ic
  An interaction combinator runtime
  ☆15Updated last month
• argumentcomputer / RustFFI.lean
  Template for Lean<->Rust FFI
  ☆11Updated 9 months ago