Federico Mora Rocha's repositories
upverifier
Unbounded Verification of P(-like) Programs
FedericoAureliano.github.io
A simple script to generate a clean academic webpage
mc2
[research] A modular SMT solver in OCaml, based on mcSAT
Language:SMTApache-2.0000
P
The P programming language.
Language:C#MIT000
smyth
Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
Language:OCamlMIT000
StringSMTBenchmarks
Collection of string benchmarks and a website with up to date comparisons on these benchmarks.
synthesis-benchmarks
uclid5 generated synthesis benchmarks
uclid
UCLID5: formal modeling, verification, and synthesis of computational systems
Language:ScalaNOASSERTION000