fitzgen/synth-loop-free-prog external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

fitzgen/synth-loop-free-prog

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/fitzgen/synth-loop-free-prog)

Close

fitzgen / synth-loop-free-progView on GitHubMore

• External links
• Readme badge

Synthesis of Loop-free Programs in Rust

☆67Feb 27, 2020Updated 6 years ago

Alternatives and similar repositories for synth-loop-free-prog

Users that are interested in synth-loop-free-prog are comparing it to the libraries listed below

• facebookarchive / Rust-SMT-LIB-API

  View on GitHub
  An API that can be used to expose an SMT-LIB compliant SMT solver to a developer tool written in Rust.
  ☆36Jan 17, 2020Updated 6 years ago
• yihozhang / relational-ematching-benchmark

  View on GitHub
  ☆16Jan 5, 2022Updated 4 years ago
• asimihsan / permutation-iterator-rs

  View on GitHub
  A Rust library for iterating over random permutations.
  ☆14Jun 15, 2021Updated 4 years ago
• wasm-superopt / rocinante

  View on GitHub
  ☆10May 14, 2020Updated 5 years ago
• gokhankici / iodine

  View on GitHub
  Iodine: Verifying Constant-Time Execution of Hardware
  ☆15Mar 29, 2021Updated 4 years ago
• Baltoli / accsynt

  View on GitHub
  Program synthesis tools and utilities for LLVM.
  ☆20Jul 6, 2023Updated 2 years ago
• USECAP / dream

  View on GitHub
  ☆20Nov 5, 2018Updated 7 years ago
• dynaroars / dig

  View on GitHub
  DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…
  ☆55May 24, 2025Updated 9 months ago
• acorrenson / WiSE

  View on GitHub
  A formally verified bug finder
  ☆14Nov 25, 2024Updated last year
• fitzgen / peepmatic

  View on GitHub
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64May 14, 2020Updated 5 years ago
• hplp / aes_chisel

  View on GitHub
  Implementation of the Advanced Encryption Standard in Chisel
  ☆19Apr 18, 2022Updated 3 years ago
• SyGuS-Org / benchmarks

  View on GitHub
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆43Mar 30, 2023Updated 2 years ago
• zkPoTs / kaizen

  View on GitHub
  ☆21Jan 28, 2024Updated 2 years ago
• zwegner / x86-sat

  View on GitHub
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆321Dec 1, 2021Updated 4 years ago
• PP-FM / ZKUNSAT

  View on GitHub
  ☆20Jan 17, 2025Updated last year
• SymbioticEDA / nerv

  View on GitHub
  Naive Educational RISC-V -- A simple single-stage RV32I processor
  ☆27Nov 3, 2020Updated 5 years ago
• fitzgen / winliner

  View on GitHub
  The WebAssembly Indirect Call Inliner
  ☆28Oct 18, 2023Updated 2 years ago
• PP-FM / ppsat

  View on GitHub
  code for privacy-preserving sat solver
  ☆17Jul 14, 2023Updated 2 years ago
• uwplse / tensat

  View on GitHub
  Re-implementation of the TASO compiler using equality saturation
  ☆138Jun 28, 2021Updated 4 years ago
• dnfield / dart_calendar

  View on GitHub
  ☆16Jun 20, 2021Updated 4 years ago
• philzook58 / eggmt

  View on GitHub
  Egraphs Modulo Theories
  ☆18Jun 10, 2025Updated 9 months ago
• Jeffail / spiril

  View on GitHub
  Rust library for genetic algorithms
  ☆29May 16, 2018Updated 7 years ago
• yaozhaosh / chisel-aes

  View on GitHub
  Chisel implementation of AES
  ☆24Mar 27, 2020Updated 5 years ago
• magnet / synattra

  View on GitHub
  A Syn Attribute Parser Toolkit
  ☆14Oct 15, 2024Updated last year
• deep-gaurav / rusty_pipe

  View on GitHub
  ☆23Feb 24, 2022Updated 4 years ago
• microsoft / mcBV

  View on GitHub
  A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.
  ☆22Jun 13, 2023Updated 2 years ago
• Bukk94 / OrthogonalConnectorRouting

  View on GitHub
  Algorithm for orthogonal connector routing
  ☆12Apr 10, 2024Updated last year
• backengineering / bintests

  View on GitHub
  A large collection of 32bit and 64bit PE files useful for verifying the correctness of bin2bin transformations
  ☆73Aug 2, 2024Updated last year
• rakete / pixel-mode

  View on GitHub
  Make pixel art in emacs buffers.
  ☆14Feb 22, 2023Updated 3 years ago
• maximecb / kavascript

  View on GitHub
  Minimalistic dynamically-typed programming language for didactic purposes.
  ☆29Aug 13, 2022Updated 3 years ago
• gpetiot / Frama-C-Mutation

  View on GitHub
  Generation of mutant programs
  ☆20Oct 31, 2018Updated 7 years ago
• MarkusRabe / cadet

  View on GitHub
  A fast and certifying solver for quantified Boolean formulas.
  ☆26Apr 29, 2025Updated 10 months ago
• cdisselkoen / llvm-ir-analysis

  View on GitHub
  ☆75Feb 27, 2024Updated 2 years ago
• Viewer-HX / BinProv

  View on GitHub
  ☆10Jan 3, 2023Updated 3 years ago
• rust-osdev / multiboot2

  View on GitHub
  Rusty wrappers for Multiboot2.
  ☆125Mar 1, 2026Updated 2 weeks ago
• jobtalle / LGen

  View on GitHub
  An evolutionary approach to optimizing L-systems
  ☆21Oct 23, 2020Updated 5 years ago
• rust-bakery / nom-trace

  View on GitHub
  ☆19Jul 14, 2019Updated 6 years ago
• binsec / klee21-tina-artifact

  View on GitHub
  TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…
  ☆30Jul 7, 2021Updated 4 years ago
• cpetig / resource-demo

  View on GitHub
  A demo showing WASM component model resources in various environments
  ☆12Feb 5, 2025Updated last year