Emilio Jesús Gallego Arias
@ejgallego“La perfection est atteinte, non pas lorsqu'il n'y a plus rien à ajouter, mais lorsqu'il n'y a plus rien à retirer.”
Language Breakdown
Lines of code distribution across 51 owned repositories
Generalist Developer
G-shapedVersatile across many languages and paradigms
Collaboration Network
Global Impact visualization
Repos
217
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Santiago Díez
@sdiez
Leonardo de Moura
@leodemoura
Sebastian Ullrich
@Kha
Kyle Miller
@kmill
Wojciech Nawrocki
@Vtec234
Top Repositories
Python bindings for the Coq interactive proof assistant
Linear Dependent Types for Differential Privacy TypeChecker
DualQuery: Practical Private Query Release Algorithm
Lean playground for programming language modeling tooling.
A port of Coq to Javascript -- Run Coq in your Browser
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy
Binary (sic) builds for jsCoq
A small library for Bit Sequences
Open Source Impact
Contributions to external projects