Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by philnguyen
A curated list of projects in awesome lists by philnguyen .
https://github.com/philnguyen/z3-rkt
Racket bindings for Z3
binding bindings racket smt-solver z3
Last synced: 08 Aug 2024
https://github.com/philnguyen/abstract-compilation
Simple DSL reducing some boiler plates in doing abstract compilation
Last synced: 03 Aug 2024