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.
  ☆32Updated 5 months ago
• Gadersd / ic
  An interaction combinator runtime
  ☆15Updated 4 months ago
• reissbaker / clevergpt
  Training GPTs to solve interaction nets
  ☆16Updated 6 months ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆195Updated 9 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆11Updated 10 months ago
• scallop-lang / scallop-old
  [Archived] A scalable differentiable probabilistic Datalog engine, with Rust
  ☆73Updated 3 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆17Updated 2 weeks ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆19Updated last year
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆45Updated 3 years ago
• harp-lab / gdlog
  ☆79Updated 3 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆25Updated 7 months ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆73Updated 5 months ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆50Updated 4 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 3 months ago
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆33Updated last year
• extism / lean4-sdk
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆17Updated 2 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆99Updated 4 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆67Updated last month
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆15Updated 4 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated 3 months ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated last year
• arthurpaulino / NumLean
  A Lean 4 package for heavy numerical computations
  ☆18Updated 3 years ago
• near / finite-wasm
  Cheating a little to solve the halting problem at scale
  ☆27Updated 2 months ago
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆27Updated last week
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆20Updated this week
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆59Updated last month