Gregory Malecha

icon indicating a website link http://gmalecha.github.io/ icon indicating an email [email protected]

icon company @bluerock-io icon location Boston, MA

Results 3 repositories owned by Gregory Malecha

coq-interaction-trees

17
Stars
1
Forks
Watchers

Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.

verified publisher icon gmalecha

coq-printf

18
Stars
2
Forks
Watchers

Implementation of sprintf for Coq

verified publisher icon gmalecha

mirror-core

19
Stars
5
Forks
Watchers

A framework for extensible, reflective decision procedures.

verified publisher icon gmalecha