ejgallego/platform Fork of coq/platform

Multi platform setup for Coq, Coq libraries and tools

Size: 2.82 MB - Last synced: about 23 hours ago - Pushed: about 24 hours ago - Stars: 0 - Forks: 0

ejgallego/coq-serapi

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

Language: OCaml - Size: 5.47 MB - Last synced: 7 days ago - Pushed: 7 days ago - Stars: 124 - Forks: 39

ejgallego/coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq

Language: OCaml - Size: 23.9 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 129 - Forks: 27

ejgallego/coq-elpi Fork of LPCIC/coq-elpi

Coq plugin embedding elpi

Language: Prolog - Size: 3.97 MB - Last synced: 29 days ago - Pushed: 29 days ago - Stars: 0 - Forks: 0

ejgallego/vscoq Fork of coq-community/vscoq

A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]

Size: 66.3 MB - Last synced: 4 days ago - Pushed: 4 days ago - Stars: 0 - Forks: 0

ejgallego/coq-waterproof Fork of impermeable/coq-waterproof

Size: 549 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

ejgallego/HoTT Fork of HoTT/Coq-HoTT

Homotopy type theory

Language: Coq - Size: 13 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 1

ejgallego/Coq-Equations Fork of mattam82/Coq-Equations

A plugin for Coq to add dependent pattern-matching.

Language: Coq - Size: 14.2 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

ejgallego/coq-dpdgraph Fork of coq-community/coq-dpdgraph

Build dependency graphs between COQ objects

Language: Coq - Size: 323 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

ejgallego/aac-tactics Fork of coq-community/aac-tactics

This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.

Language: OCaml - Size: 189 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

ejgallego/coq-tactician Fork of coq-tactician/coq-tactician

A Seamless, Interactive Tactic Learner and Prover for Coq

Size: 1.76 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

ejgallego/gchat-reader

Parser and viewer for Google Chat / Hangouts `message.json` format

Language: OCaml - Size: 4.88 KB - Last synced: about 1 month ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

ejgallego/PG Fork of ProofGeneral/PG

This repo is the new home of Proof-General (http://proofgeneral.inf.ed.ac.uk/ will be updated soon)

Language: Emacs Lisp - Size: 22.6 MB - Last synced: about 1 month ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

ejgallego/ocaml-uri Fork of mirage/ocaml-uri

RFC3986 URI parsing library for OCaml

Size: 1.31 MB - Last synced: about 1 month ago - Pushed: 8 months ago - Stars: 0 - Forks: 0

ejgallego/mini-dft-coq

A constructive formalization of the Discrete Fourier Transform

Language: CSS - Size: 461 KB - Last synced: about 1 month ago - Pushed: over 8 years ago - Stars: 2 - Forks: 0

ejgallego/mech.v Fork of jouvelot/mech.v

A Coq/SSReflect library for mechanism design

Language: Coq - Size: 751 KB - Last synced: about 1 month ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

ejgallego/graph-editor-web Fork of amblafont/graph-editor-web

An online graph editor written in Elm

Size: 675 KB - Last synced: about 1 month ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

ejgallego/dune_coq_plugin_lib Fork of agrarpan/dune_coq_plugin_lib

Size: 38.1 KB - Last synced: about 1 month ago - Pushed: 11 months ago - Stars: 0 - Forks: 0

ejgallego/emacs-goodies-el

Emacs Goodies (copy from svn)

Language: Emacs Lisp - Size: 2.5 MB - Last synced: about 1 month ago - Pushed: over 8 years ago - Stars: 0 - Forks: 1

ejgallego/dfuzz

Linear Dependent Types for Differential Privacy TypeChecker

Language: OCaml - Size: 56.6 KB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 31 - Forks: 8

ejgallego/coq-library-undecidability Fork of uds-psl/coq-library-undecidability

A library of mechanised undecidability proofs in the Coq proof assistant.

Size: 7.05 MB - Last synced: about 1 month ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

ejgallego/catala Fork of CatalaLang/catala

Programming language for literate programming law specification

Size: 45.6 MB - Last synced: about 1 month ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

ejgallego/clprm-coq

Some Formal Developments for Constraint Logic Programming with a Relational Machine

Language: Coq - Size: 5.86 KB - Last synced: about 1 month ago - Pushed: over 8 years ago - Stars: 0 - Forks: 1

ejgallego/alt-ergo Fork of OCamlPro/alt-ergo

Public open-source releases of Alt-Ergo

Language: OCaml - Size: 549 KB - Last synced: about 1 month ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

ejgallego/pycoq

Python bindings for the Coq interactive proof assistant

Language: OCaml - Size: 39.1 KB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 49 - Forks: 5

ejgallego/jscoq Fork of jscoq/jscoq

A port of Coq to Javascript -- Run Coq in your Browser

Size: 16.1 MB - Last synced: 2 days ago - Pushed: almost 2 years ago - Stars: 5 - Forks: 1

ejgallego/HOARe2

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

Language: OCaml - Size: 231 KB - Last synced: 15 days ago - Pushed: over 4 years ago - Stars: 8 - Forks: 1

ejgallego/opam-repository Fork of ocaml/opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

Language: Shell - Size: 142 MB - Last synced: 3 days ago - Pushed: 3 days ago - Stars: 1 - Forks: 0

ejgallego/langserver.github.io Fork of langserver/langserver.github.io

Language: HTML - Size: 277 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

ejgallego/flocq

Language: Coq - Size: 1.54 MB - Last synced: about 1 month ago - Pushed: about 2 years ago - Stars: 1 - Forks: 0

ejgallego/curvenote-template

A vanilla bootstrap of the curvenote.dev editor

Language: Jupyter Notebook - Size: 315 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

ejgallego/dualquery

DualQuery: Practical Private Query Release Algorithm

Language: OCaml - Size: 62.2 MB - Last synced: about 1 month ago - Pushed: almost 9 years ago - Stars: 17 - Forks: 7

ejgallego/coq-www Fork of coq/coq.github.io

Source files of the coq.inria.fr website (static part)

Size: 27.7 MB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

ejgallego/real-world-coq

Language: Ruby - Size: 398 KB - Last synced: about 1 month ago - Pushed: 9 months ago - Stars: 6 - Forks: 0

ejgallego/coq Fork of coq/coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language: OCaml - Size: 173 MB - Last synced: about 2 hours ago - Pushed: about 3 hours ago - Stars: 0 - Forks: 1

ejgallego/ceps Fork of coq/ceps

Coq Enhancement Proposals

Size: 141 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

ejgallego/name-the-biggest-number Fork of codyroux/name-the-biggest-number

Size: 101 KB - Last synced: about 1 month ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

ejgallego/bot Fork of coq/bot

A (Coq Development Team) bot written in OCaml

Language: OCaml - Size: 2.81 MB - Last synced: about 1 month ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

ejgallego/CodeMirror-TeX-input

TeX-style unicode input for CodeMirror

Language: JavaScript - Size: 174 KB - Last synced: 15 days ago - Pushed: almost 2 years ago - Stars: 3 - Forks: 2

ejgallego/hydra-battles Fork of coq-community/hydra-battles

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

Size: 16.3 MB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

ejgallego/odd-order Fork of math-comp/odd-order

The formal proof of the Odd Order Theorem

Size: 897 KB - Last synced: about 1 month ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

ejgallego/miniF2F Fork of openai/miniF2F

Formal to Formal Mathematics Benchmark

Size: 1.06 MB - Last synced: about 1 month ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

ejgallego/bib

Random Bibliography

Language: TeX - Size: 208 KB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

ejgallego/ppx_import Fork of ocaml-ppx/ppx_import

Less redundancy in type declarations and signatures

Language: OCaml - Size: 145 KB - Last synced: about 1 month ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

ejgallego/ocamlfind Fork of ocaml/ocamlfind

The OCaml findlib library manager

Size: 528 KB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

ejgallego/bignums Fork of coq-community/bignums

Coq library of arbitrary large numbers. Provides BigN, BigZ, BigQ that used to be part of Coq standard library

Language: Coq - Size: 540 KB - Last synced: about 1 month ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

ejgallego/gt-prog Fork of pedagand/gt-prog

Size: 2.93 KB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

ejgallego/dune-bug-dynload

Example for Dune bug

Language: OCaml - Size: 1000 Bytes - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

ejgallego/coq-bench Fork of coq/coq-bench

Language: Shell - Size: 1.39 MB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

ejgallego/mini-wagner-coq

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

Language: Coq - Size: 8.79 KB - Last synced: about 1 month ago - Pushed: almost 3 years ago - Stars: 1 - Forks: 0

ejgallego/haste-server Fork of toptal/haste-server

open source pastebin written in node.js

Language: JavaScript - Size: 1.26 MB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

ejgallego/cooltt Fork of RedPRL/cooltt

😎TT

Size: 1.55 MB - Last synced: about 1 month ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

ejgallego/interval

Language: Coq - Size: 2.1 MB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0

ejgallego/gappa-coq

Language: Coq - Size: 601 KB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0

ejgallego/ppx_python Fork of janestreet/ppx_python

[@@deriving] plugin to generate Python conversion functions

Language: OCaml - Size: 21.5 KB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

ejgallego/Zarith Fork of ocaml/Zarith

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.

Size: 447 KB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

ejgallego/rewriter Fork of mit-plv/rewriter

Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting

Language: Coq - Size: 35.1 MB - Last synced: about 1 month ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

ejgallego/paramcoq Fork of coq-community/paramcoq

Coq plugin for parametricity

Language: Coq - Size: 417 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

ejgallego/metacoq Fork of MetaCoq/metacoq

Metaprogramming in Coq

Language: Coq - Size: 10.9 MB - Last synced: about 1 month ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

ejgallego/Mtac2 Fork of Mtac2/Mtac2

Language: Coq - Size: 3.16 MB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

ejgallego/fiat-crypto Fork of mit-plv/fiat-crypto

Cryptographic Primitive Code Generation by Fiat

Size: 46.4 MB - Last synced: about 1 month ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

ejgallego/odoc Fork of ocaml/odoc

Documentation compiler for OCaml and Reason

Size: 2.9 MB - Last synced: about 1 month ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

ejgallego/ocamlformat Fork of ocaml-ppx/ocamlformat

Auto-formatter for OCaml code

Size: 5.51 MB - Last synced: about 1 month ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

ejgallego/fcsl-pcm Fork of imdea-software/fcsl-pcm

Partial Commutative Monoids

Size: 114 KB - Last synced: about 1 month ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

ejgallego/ocaml-pr-repository Fork of ocaml/ocaml-pr-repository

opam switches for all the proposed pull requests against the compiler

Size: 145 KB - Last synced: about 1 month ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

ejgallego/opam-coq-archive Fork of coq/opam

Archive for all Coq related OPAM packages organized in various repositories

Language: JavaScript - Size: 6.97 MB - Last synced: about 1 month ago - Pushed: 4 months ago - Stars: 1 - Forks: 0

ejgallego/ocaml-arm64-bug

Language: OCaml - Size: 65.4 KB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

ejgallego/gmark Fork of gbagan/gmark

Language: C++ - Size: 128 MB - Last synced: about 1 month ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

ejgallego/dune-release Fork of tarides/dune-release

Streamlining the release of dune packages to opam

Language: OCaml - Size: 388 KB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

ejgallego/fiat Fork of mit-plv/fiat

Mostly Automated Synthesis of Correct-by-Construction Programs

Language: Coq - Size: 9.1 MB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

ejgallego/udoc

CoqDoc fork specialized for the jscoq backend.

Language: OCaml - Size: 101 KB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 3 - Forks: 2

ejgallego/GeoCoq Fork of GeoCoq/GeoCoq

A formalization of geometry in Coq based on Tarski's axiom system

Size: 7.21 MB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

ejgallego/jscoq-builds

Binary (sic) builds for jsCoq

Language: JavaScript - Size: 1.18 GB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 4 - Forks: 3

ejgallego/easycrypt Fork of EasyCrypt/easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

Language: OCaml - Size: 22.2 MB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

ejgallego/VST Fork of PrincetonUniversity/VST

Verified Software Toolchain

Language: Coq - Size: 69.9 MB - Last synced: about 1 month ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

ejgallego/ssrbit

A small library for Bit Sequences

Language: Coq - Size: 311 KB - Last synced: about 1 month ago - Pushed: almost 5 years ago - Stars: 3 - Forks: 5

ejgallego/ltac2 Fork of coq/ltac2

A standalone implementation of Ltac2 as a Coq plugin

Language: OCaml - Size: 604 KB - Last synced: about 1 month ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

ejgallego/QcRewrite Fork of lemonidas/QcRewrite

Language: Coq - Size: 6.84 KB - Last synced: about 1 month ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

ejgallego/foo-link

Language: OCaml - Size: 1000 Bytes - Last synced: about 1 month ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

ejgallego/QuickChick Fork of QuickChick/QuickChick

Randomized Property-Based Testing Plugin for Coq

Language: Coq - Size: 2.46 MB - Last synced: about 1 month ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

ejgallego/math-comp Fork of math-comp/math-comp

Mathematical Components

Language: Coq - Size: 10.9 MB - Last synced: about 1 month ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

ejgallego/relation-algebra Fork of damien-pous/relation-algebra

Relation algebra library for Coq

Language: Coq - Size: 394 KB - Last synced: about 1 month ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

ejgallego/coqide2-split

Frozen CoqIDE gtk2 version to build against Coq 8.10

Language: OCaml - Size: 640 KB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

ejgallego/lablgtk Fork of garrigue/lablgtk

Mirror repository for https://forge.ocamlcore.org/anonscm/git/lablgtk/lablgtk.git

Language: OCaml - Size: 7.36 MB - Last synced: about 1 month ago - Pushed: 5 months ago - Stars: 0 - Forks: 0

ejgallego/ocaml-ts

Language: OCaml - Size: 1000 Bytes - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

ejgallego/fourcolor Fork of coq-community/fourcolor

Formal proof of the Four Color Theorem

Language: Coq - Size: 599 KB - Last synced: about 1 month ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

ejgallego/pruf-general

My customized version of Proof General

Language: Emacs Lisp - Size: 23.4 MB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 0 - Forks: 1

ejgallego/lambdapi Fork of Deducteam/lambdapi

Minimal implementation of the λΠ-calculus modulo

Language: OCaml - Size: 38.2 MB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

ejgallego/unison Fork of bcpierce00/unison

Unison file synchronizer

Language: OCaml - Size: 13.7 MB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

ejgallego/coqhammer Fork of lukaszcz/coqhammer

CoqHammer: An Automated Reasoning Hammer Tool for Coq

Language: OCaml - Size: 1.51 MB - Last synced: about 1 month ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

ejgallego/dune Fork of ocaml/dune

A composable build system for OCaml

Language: OCaml - Size: 38.4 MB - Last synced: 4 days ago - Pushed: 4 days ago - Stars: 0 - Forks: 0

ejgallego/plugin_tutorials Fork of ybertot/plugin_tutorials

A collection of small projects to illustrate how to write plugins for Coq

Language: OCaml - Size: 61.5 KB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

ejgallego/merlin Fork of ocaml/merlin

Context sensitive completion for OCaml in Vim and Emacs

Language: OCaml - Size: 28.3 MB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

ejgallego/ocaml-migrate-parsetree Fork of ocaml-ppx/ocaml-migrate-parsetree

Convert OCaml parsetrees between different major versions

Language: OCaml - Size: 604 KB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

ejgallego/lenovo-throttling-fix Fork of erpalma/throttled

Workaround for Intel throttling issues in Linux.

Language: Python - Size: 56.6 KB - Last synced: about 1 month ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

ejgallego/dedukti-editor Fork of lachhebo/dedukti-editor

A IDE for Dedukti

Language: JavaScript - Size: 604 KB - Last synced: about 1 month ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

ejgallego/ctrlr Fork of Srikrishna31/ctrlr

Ctrlr

Language: C++ - Size: 87.2 MB - Last synced: about 1 month ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

ejgallego/ocaml-jupyter Fork of akabe/ocaml-jupyter

An OCaml kernel for Jupyter (IPython) notebook

Language: Jupyter Notebook - Size: 1.17 MB - Last synced: about 1 month ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

ejgallego/eth-isabelle Fork of pirapira/eth-isabelle

A Lem formalization of EVM and some Isabelle/HOL proofs

Language: Isabelle - Size: 3.59 MB - Last synced: about 1 month ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

ejgallego/hevm Fork of dapphub/hevm

A debug-oriented Ethereum VM (EVM)

Language: Haskell - Size: 518 KB - Last synced: about 1 month ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0