Discover @ejgallego Open Source projects

Emilio Jesús Gallego Arias (@ejgallego)

ejgallego

Stars
372
Global Rank 74,736 (Top 3 %)
Followers 144
Following 6
Registered over 10 years ago
Most used languages

OCaml
42.1 %

Coq 31.6 %

JavaScript
10.5 %

CSS
5.3 %

Ruby
5.3 %

Makefile 5.3 %
Location 🇫🇷 France
Country Total Rank 1,983
Country Ranking

Coq 5

OCaml
14

Makefile 121

Ruby
719

CSS
1,950

JavaScript
5,034

coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq

coq-serapi

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

pycoq

Python bindings for the Coq interactive proof assistant

dfuzz

Linear Dependent Types for Differential Privacy TypeChecker

dualquery

DualQuery: Practical Private Query Release Algorithm

coq-universe

We aim to provide a composed build of all active Coq developments in existence

HOARe2

Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy

real-world-coq

jscoq-builds

Binary (sic) builds for jsCoq

udoc

CoqDoc fork specialized for the jscoq backend.

ssrbit

A small library for Bit Sequences

CodeMirror-TeX-input

TeX-style unicode input for CodeMirror

mini-dft-coq

A constructive formalization of the Discrete Fourier Transform

mini-wagner-coq

Code for the FARM 2021 paper "The W-Calculus: A Synchronous Framework for the Verified Modelling of Digital Signal Processing Algorithms"

coqide-exp

Experiments with split coqide

gappa-coq

coqide2-split

Frozen CoqIDE gtk2 version to build against Coq 8.10

flocq

interval