nickgildea/z3_codegen

A toy code generator (i.e. "program synthesis") using the Z3 solver

/ 100

Emerging

No commits in the last 6 months.

Stale 6m No Package No Dependents

Maintenance 0 / 25

Adoption 7 / 25

Maturity 16 / 25

Community 17 / 25

Stars

Forks

Language

C++

License

Unlicense

Category

Last pushed

Nov 13, 2017

Commits (30d)

Get this data via API

curl "https://pt-edge.onrender.com/api/v1/quality/ai-coding/nickgildea/z3_codegen"

Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.

Higher-rated alternatives

howerj/dbcc

CAN DBC to C (and CSV, JSON and XML) compiler using the mpc parser combinator library

JhnW/devana

Python package to parse and generate C/C++ code as context aware preprocessor.

biojppm/regen

Easy C++ reflection and code generation

Samsung/UTopia

UT based automated fuzz driver generation

SoftSec-KAIST/CodeAlchemist

CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines (NDSS '19)