maximedenes Goto Github PK

dead_code_analyzer

Dead-code analyzer for OCaml

fcf

Foundational Cryptography Framework for machine-checked proofs of cryptography.

fiat

Mostly Automated Synthesis of Correct-by-Construction Programs

fiat-crypto

Cryptographic Primitive Code Generation by Fiat

geocoq

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

hott

Homotopy type theory

icubam

ICU Bed Activity Monitor

jasmin

Jasmin compiler

jasmin-language-server

A language server (based on LSP) for Jasmin.

jscoq

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

ltac2

A standalone implementation of Ltac2 as a Coq plugin

math-classes

A library of abstract interfaces for mathematical structures in Coq.

math-comp

Mathematical Components

math-comp.github.io

https://math-comp.github.io/

maximedenes.github.io

metacoq

Metaprogramming in Coq

mtac2

native-compute-bench

A tiny suite of benchmarks for Coq's native_compute machinery.

native-coq

Coq with native compilation, as well as machine integers and arrays !

nixpkgs

Nix Packages collection

ocaml

The core OCaml system: compilers, runtime system, base libraries

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

opam-repository

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

package-sets

A curated list of PureScript packages

paramcoq

Coq plugin for parametricity

plugin_tutorials

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

purescript-arrays

Array utility functions

purescript-web-events

Type definitions and low level interface implementations for Event, CustomEvent, and EventTarget

purescript-websocket-simple

Simple Bindings to Websocket API for Purescript

quickchick

Randomized Property-Based Testing Plugin for Coq