Discover @ejgallego Open Source projects

Emilio Jesús Gallego Arias (@ejgallego)

ejgallego

Stars
372
Global Rank 72,331 (Top 3 %)
Followers 144
Following 6
Registered about 10 years ago
Most used languages

OCaml
47.4 %

Coq 26.3 %

JavaScript
10.5 %

Ruby
5.3 %

CSS
5.3 %

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

OCaml
9

Coq 24

Makefile 127

Ruby
705

CSS
1,785

JavaScript
4,943

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