A Scala equality saturation library
☆21Sep 11, 2026Updated 2 months ago
Alternatives and similar repositories for foresight
Users that are interested in foresight are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆50Sep 24, 2026Updated last month
- ☆11Jun 4, 2026Updated 5 months ago
- MLIR+EqSat☆33Jan 10, 2026Updated 10 months ago
- A proof-of-concept formal verification tool for WebAssembly.☆11Mar 3, 2024Updated 2 years ago
- Formalization of CBPV extended with effect and coeffect tracking☆18Aug 30, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆26Oct 6, 2023Updated 3 years ago
- A deprecated equality saturation tactic for Lean based on egg.☆87Oct 20, 2026Updated 3 weeks ago
- benchmarks for hls equivalence checking☆11Nov 22, 2022Updated 3 years ago
- EvolveGen: Algorithmic Level Hardware Model Checking Benchmark Generation through Reinforcement Learning (TACAS 2026)☆10Oct 9, 2025Updated last year
- GPU kernel verification with Pulse☆30Updated this week
- work in progress, playing around with btor2 in rust☆16Updated this week
- ILAng documentation☆12Nov 2, 2025Updated last year
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆26Oct 20, 2022Updated 4 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆12Jul 15, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Duet: static analysis for unbounded concurrency☆31Oct 21, 2026Updated 3 weeks ago
- ☆13Jan 20, 2023Updated 3 years ago
- FPGA synthesis tool powered by equality saturation and program synthesis.☆17Jan 9, 2026Updated 10 months ago
- [ICML'26] Towards Feedback-to-Plan Decisions for Self-Evolving LLM Agents in CUDA Kernel Generation☆13Sep 9, 2026Updated 2 months ago
- Hyperdimensional computing in memory. Artifact from 'A Case Study of Processing-in-Memory in off-the-Shelf Systems' (USENIX ATC '21)☆10Dec 2, 2023Updated 2 years ago
- A Symbolic Emulator for Shuffle Synthesis on the NVIDIA PTX Code☆16Mar 19, 2023Updated 3 years ago
- FYP on using e-graphs to solve smt bitvector problems☆16Jun 24, 2025Updated last year
- ☆11Updated this week
- Mac OSX application to control the DNSCrypt Proxy☆12Oct 7, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Programming Language designed for Program Synthesis with SMT-validation.☆52Updated this week
- Z3 wrapped in a build.zig☆12Jun 2, 2026Updated 5 months ago
- Privacy-preserving LLM inference with CKKS homomorphic encryption and Private Linear Layer (PLL) protection for LoRA fine-tuned models☆13Oct 18, 2025Updated last year
- Network server programming with OCaml. MOVED TO: https://git.leastfixedpoint.com/tonyg/ocaml-networking/☆11Jan 8, 2012Updated 14 years ago
- [PACT'24] GraNNDis. A fast and unified distributed graph neural network (GNN) training framework for both full-batch (full-graph) and min…☆10Aug 13, 2024Updated 2 years ago
- ☆11May 1, 2024Updated 2 years ago
- ☆16Aug 4, 2026Updated 3 months ago
- Freiscale Semicomposer -- music composition without scales☆11Apr 3, 2023Updated 3 years ago
- Huffman encoding core (Vivado HLS Project)☆12Oct 15, 2019Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- a Racket formatter that only fixes whitespaces☆12Jun 6, 2026Updated 5 months ago
- Rewrite-based Optimizations (equality saturation, stochastic term rewriting)☆13Updated this week
- ☆10Mar 8, 2025Updated last year
- Implementing Halide's TRS inside of EGG☆35Jan 20, 2023Updated 3 years ago
- OCaml library for partially ordered maps☆15Jun 23, 2026Updated 4 months ago
- Learn Compiler Writing with the Feeny Programming Language☆13Feb 24, 2020Updated 6 years ago
- ☆93Oct 22, 2024Updated 2 years ago
Are these results useful?