FedericoAureliano

Federico Mora Rocha's repositories

PyExSMT

Python Symbolic Execution

Language:PythonNOASSERTION6 30

llama

λama is a work in progress!

Language:RustMIT5 20

uclidfc

Language:SMTBSD-3-Clause3 50

upverifier

Unbounded Verification of P(-like) Programs

Language:OCamlMIT200

164-screenreader

Language:OCaml100

FedericoAureliano.github.io

A simple script to generate a clean academic webpage

Language:PythonMIT1 30

pysmt

pySMT: A library for SMT formulae manipulation and solving

Language:PythonApache-2.01 20

aiutare

Automated Analysis, Regression, and Evaluation

Language:Python05 34

ArqCol

Sitios Arqueológicos de Colombia

Language:HTMLGPL-3.0020

eudoxus

eudoxus: UCLID5 text-to-code tool

Language:PythonMIT000

grid

Language:JavaScript010

klee

KLEE Symbolic Execution Engine

Language:C++NOASSERTION030

mc2

[research] A modular SMT solver in OCaml, based on mcSAT

Language:SMTApache-2.0000

P

The P programming language.

Language:C#MIT000

periodicals

Language:HTMLMIT020

quals

Language:HTMLMIT010

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.

Language:HTML020

synthesis-benchmarks

uclid5 generated synthesis benchmarks

Language:Slash020

uclid

UCLID5: formal modeling, verification, and synthesis of computational systems

Language:ScalaNOASSERTION000

uclid5-api

Language:PythonMIT000