Emilio Jesús Gallego Arias

icon indicating a website link https://www.irif.fr/~gallego/ icon indicating an email [email protected]

icon company Inria icon location Paris icon location “La perfection est atteinte, non pas lorsqu'il n'y a plus rien à ajouter, mais lorsqu'il n'y a plus rien à retirer.”

Results 5 repositories owned by Emilio Jesús Gallego Arias

coq-lsp

132
Stars
28
Forks
Watchers

Visual Studio Code Extension and Language Server Protocol for Coq

verified publisher icon ejgallego

coq-serapi

124
Stars
39
Forks
Watchers

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

verified publisher icon ejgallego

dfuzz

31
Stars
8
Forks
Watchers

Linear Dependent Types for Differential Privacy TypeChecker

verified publisher icon ejgallego

dualquery

17
Stars
7
Forks
Watchers

DualQuery: Practical Private Query Release Algorithm

verified publisher icon ejgallego

pycoq

49
Stars
5
Forks
Watchers

Python bindings for the Coq interactive proof assistant

verified publisher icon ejgallego