heechul/crest-z3 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

heechul/crest-z3

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/heechul/crest-z3)

Close

heechul / crest-z3View on GitHubMore

• External links
• Readme badge

CREST extension that supports non-linear arithmetic

☆14Jun 13, 2013Updated 12 years ago

Alternatives and similar repositories for crest-z3

Users that are interested in crest-z3 are comparing it to the libraries listed below

• jburnim / crest

  View on GitHub
  CREST is a concolic test generation tool for C.
  ☆162Jul 5, 2020Updated 5 years ago
• UCSD-PL / nano-smt

  View on GitHub
  "Toy" SMT Solver for Educational Purposes
  ☆20Apr 17, 2013Updated 12 years ago
• firodj / bbtrace

  View on GitHub
  Basic Block Trace: DynamoRIO client
  ☆29Dec 19, 2021Updated 4 years ago
• eurecom-s3 / actaeon

  View on GitHub
  Memory forensics of virtualization environments
  ☆48Oct 4, 2014Updated 11 years ago
• whj0401 / RLOBF

  View on GitHub
  ☆10Sep 28, 2020Updated 5 years ago
• ishiura-compiler / Orange3

  View on GitHub
  pre-release.
  ☆12Jul 15, 2015Updated 10 years ago
• famzah / mpssh-py

  View on GitHub
  Mass Parallel Secure Shell command execution
  ☆12Nov 9, 2025Updated 3 months ago
• ChunghaSung / intAbs

  View on GitHub
  Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".
  ☆11May 20, 2019Updated 6 years ago
• carlssonia / adaptive

  View on GitHub
  ☆10Jan 28, 2013Updated 13 years ago
• MetaVQA / MetaVQA

  View on GitHub
  Implementation of MetaVQA.
  ☆12Jul 3, 2021Updated 4 years ago
• Wenzel / linux-sysinternals

  View on GitHub
  ☆10Mar 31, 2016Updated 9 years ago
• bakerjd99 / jod

  View on GitHub
  jod distribution source with commented versions in (jodijs) - tracks J Pacman versions
  ☆10Apr 19, 2025Updated 10 months ago
• bazad / memctl-tfp0-core

  View on GitHub
  A memctl core for jailbroken iOS devices.
  ☆11May 14, 2018Updated 7 years ago
• 55-AA / fetch_syscalls

  View on GitHub
  An IdaPython tool for getting syscall's ID and function name from ntdll.dll, user32.dll, and so on.
  ☆13Oct 2, 2016Updated 9 years ago
• stephenrkell / libmallochooks

  View on GitHub
  Composable high-level instrumentation for C libraries' malloc and friends
  ☆18Nov 15, 2025Updated 3 months ago
• jonludlam / js_top_worker

  View on GitHub
  Javascript toplevel worker
  ☆14Feb 5, 2026Updated last month
• ahrefs / ocamlformat

  View on GitHub
  Auto-formatter for OCaml code
  ☆11Oct 24, 2025Updated 4 months ago
• rasschaert / xargs-ssh

  View on GitHub
  Run ssh in parallel using xargs
  ☆15Feb 20, 2014Updated 12 years ago
• Wilbur-Django / Testing-DNN-Compilers

  View on GitHub
  ☆11Mar 22, 2024Updated last year
• mtheall / decompress

  View on GitHub
  decompression algorithms for NDS
  ☆17Apr 13, 2012Updated 13 years ago
• vi / fusecow

  View on GitHub
  Simple single-file FUSE implementation of copy-on-write
  ☆10Aug 14, 2014Updated 11 years ago
• pw4ever / aosp-hacking-helper

  View on GitHub
  ☆10Jun 13, 2014Updated 11 years ago
• aosp-mirror / platform_external_strace

  View on GitHub
  ☆23Nov 18, 2025Updated 3 months ago
• lyvd / C2Ass

  View on GitHub
  A tiny tool to learn the assembly code
  ☆12Feb 17, 2017Updated 9 years ago
• s3team / Amoeba

  View on GitHub
  Amoeba: Binary Code Diverisfication through Composite Software Diversification
  ☆10Aug 3, 2017Updated 8 years ago
• zanderso / cil-template

  View on GitHub
  A simple tutorial about how to use the CIL compiler frontend
  ☆12Feb 10, 2025Updated last year
• MTTeql / MT-Teql

  View on GitHub
  Research Artifact For Our Submission To VLDB
  ☆10Oct 27, 2021Updated 4 years ago
• inodb / gnu-make-job-scheduler

  View on GitHub
  A library for GNU make to schedule rules as jobs with qsub or sbatch
  ☆11Mar 7, 2013Updated 12 years ago
• gugugupan / PJ-B-plus-tree

  View on GitHub
  B plus tree for DB project
  ☆12May 4, 2015Updated 10 years ago
• timothymeehan / ambient_music_generator

  View on GitHub
  Implementation of SampleRNN for generating novel ambient music from raw audio source material
  ☆10Jul 25, 2024Updated last year
• msv-lab / angelix

  View on GitHub
  Semantic program repair system for C programs
  ☆101Sep 26, 2022Updated 3 years ago
• delcypher / nsolv

  View on GitHub
  Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.
  ☆11Dec 7, 2012Updated 13 years ago
• Pluckyduck / Adapteve

  View on GitHub
  A generic hardware spoofer with proxy functionality
  ☆11Jan 16, 2015Updated 11 years ago
• gmalecha / coq-smt-check

  View on GitHub
  Invoke SMT solvers from Coq to check obligations
  ☆10Jun 16, 2020Updated 5 years ago
• Sen-Deng / CipherH

  View on GitHub
  CIPHERH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations
  ☆13Dec 17, 2023Updated 2 years ago
• playmer / PerformanceAnalytics

  View on GitHub
  Working on a Performance Analyser using ImGui
  ☆12Aug 31, 2017Updated 8 years ago
• musikinformatik / coding-with-knots

  View on GitHub
  Coding with knots, Inca style
  ☆11May 14, 2017Updated 8 years ago
• s4ke / notify

  View on GitHub
  Here is a tiny little tool that will speed up the multi-tasking life of terminal users: be notified when a command finishes.
  ☆11Mar 26, 2016Updated 9 years ago
• zardus / mulpyplexer

  View on GitHub
  A module that multiplexes interactions with lists of python objects.
  ☆14Aug 24, 2022Updated 3 years ago