Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for z3
z3
x
36 search results found
Manticore
⭐
3,535
Symbolic execution tool
Crosshair
⭐
924
An analysis tool for Python that blurs the line between testing and type systems.
Stainless
⭐
339
Verification framework and tool for higher-order Scala programs
Jfs
⭐
236
Constraint solver based on coverage-guided fuzzing
Universalrop
⭐
193
Small tool for generating ropchains using unicorn and z3
Z3_and_angr_binary_analysis_workshop
⭐
174
Code and exercises for a workshop on z3 and angr
Yinyang
⭐
148
A fuzzing framework for SMT solvers
Easy_z3
⭐
89
Using z3's never been easier (maybe)
Tsnsched
⭐
69
Automated Schedule Generation for Time-Sensitive Networks (TSN).
Grilops
⭐
54
a GRId LOgic Puzzle Solver library
Haskell Z3
⭐
54
Haskell bindings to Microsoft's Z3 API (unofficial).
Casper
⭐
47
A compiler for automatically re-targeting sequential Java code to Apache Spark.
Vim Smt2
⭐
36
A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
Gauntlet
⭐
33
Finding bugs in P4 compilers using translation validation.
Z3overlay
⭐
33
An overlay for the OCaml Z3 binding.
Z3.linq
⭐
28
LINQ bindings for the Z3 theorem prover from Microsoft Research.
Z3 Python Ctf
⭐
26
🐍 Solving CTF challenges using Z3 and Python
Eda_tools
⭐
24
A Dockerfile with a collections of ready to use open source EDA tools: Yosys, SimbiYosys (with Z3, boolector and Yices2), nextpnr-ice40, netxpnr-ecp5, nextpnr-gowin, Amaranth HDL, Silice and Verilator.
Z3 Rkt
⭐
22
Racket bindings for Z3
Mbeddr.formal
⭐
21
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
Nus Timetable Optimizer
⭐
18
Codebase for the NUS Timetable Optimizer, a tool to help students at the National University of Singapore optimize their timetables to their liking.
Z3 Mode
⭐
18
An interactive development environment for SMT-LIB files and Z3
Nikoli Puzzle Solver
⭐
18
Solver for over 100 types of Nikoli-style logic puzzles
Intrepid
⭐
13
Intrepyd Model Checker
Cegis
⭐
12
Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research
Regex Crossword Solver
⭐
12
https://regexcrossword.com/ solver using Z3py
Z3 Wasm
⭐
12
Scripts and Javascript Glue code to use Z3 in the browser using WASM
Swiprologz3
⭐
11
A simple Prolog API for the Z3 constraint solver
Auto Cryptanalysis
⭐
9
Automated cryptanalysis of substitution permutation network cipher
Z3_codegen
⭐
8
A toy code generator (i.e. "program synthesis") using the Z3 solver
Plt Formal Methods Resources
⭐
7
Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.
Swift Z3
⭐
6
A Swift wrapper over Microsoft's Z3 Theorem Prover
Z34delphi
⭐
6
The Z3 Theorem Prover bindings for Delphi
Franz
⭐
6
A Kotlin library for running workers on Kafka
Encoding
⭐
5
An OCaml SMT abstraction layer for constraint solvers.
Stainlessfit
⭐
5
Stainless directly built on System FR, with standalone front-end
1-36 of 36 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.