-
cvlr-soroban Public
Forked from Certora/cvlr-sorobanCVLR for Soroban smart contracts
Rust MIT License UpdatedNov 22, 2025 -
-
cvlr Public
Forked from Certora/cvlrCVLR: Certora Verification Language for Rust
Rust MIT License UpdatedOct 1, 2025 -
tricky-3d-models Public
A benchmark suite for 3D CAD models that are hard to print.
1 UpdatedAug 18, 2025 -
2025-02-blend-fv Public
Forked from alexzoid-eth/2025-02-blend-fvBlend v2 (Stellar/RUST) x Certora Formal Verification Competition (Feb 2025, 🏆#1 place) + report
Rust UpdatedJul 31, 2025 -
stellar-docs Public
Forked from stellar/stellar-docsDocumentation for Stellar
MDX Apache License 2.0 UpdatedJun 24, 2025 -
awesome-egraphs Public
Forked from philzook58/awesome-egraphsAn awesome list of e-graph resources
MIT License UpdatedMay 15, 2025 -
haploid Public
Forked from IanBriggs/haploidSMT Preprocessing via EqSat
SMT Apache License 2.0 UpdatedOct 6, 2023 -
-
ruler-cond Public
Forked from uwplse/rulerRewrite Rule Inference Using Equality Saturation
Rust MIT License UpdatedJan 30, 2023 -
babble Public
Forked from dcao/babbleexperimental library learning
Rust MIT License UpdatedJun 22, 2022 -
-
snake-egg Public
Forked from egraphs-good/snake-eggPython bindings for egg
Rust MIT License UpdatedApr 28, 2022 -
-
-
egraphs-good.github.io Public
Forked from egraphs-good/egraphs-good.github.ioegraphs-good website
HTML MIT License UpdatedOct 23, 2021 -
-
gayatri-marlin Public
Edits to Marlin to Allow Simultaneous Infill With Two Extruders
C UpdatedAug 27, 2021 -
-
fix-to-elim Public
Forked from uwplse/fix-to-elimFixpoint to eliminator translation in Coq
Coq MIT License UpdatedOct 9, 2020 -
tamago Public
Forked from uwplse/tensatRe-implementation of the TASO compiler using equality saturation
Rust MIT License UpdatedSep 11, 2020 -
Slic3r Public
Forked from slic3r/Slic3rOpen Source toolpath generator for 3D printers
C++ GNU Affero General Public License v3.0 UpdatedJun 8, 2019 -
herbie Public
Forked from herbie-fp/herbieSynthesis for floating-point expressions
Racket Other UpdatedSep 6, 2018 -
Uncertainty Public
Forked from klipto/UncertaintyUncertainty is a C# library that uses LINQ to let developers easily express probabilistic computations and then inference over those computations.
C# MIT License UpdatedJun 30, 2016 -
-
-
smarthome Public
Forked from eclipse-archived/smarthomeEclipse SmartHome project
Java Eclipse Public License 1.0 UpdatedOct 23, 2015
{{ message }}