Visual Studio Code Extension and Language Server Protocol for Coq

No description provided.

No description provided.

A WebIDL Parser

Facilitating high-level interactions between wasm modules and JavaScript

NbE in OCaml

A Yojson codec generator for OCaml.

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.

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

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

API for interacting with the Coq tracer

UI for viewing files of the Coq tracer

A tool for restoring tabs from a coredump of the main Chrome process

Maching learning for Coq

No description provided.

Coq tactic for interaction with external programs

API for interacting with a Coq tactic for interaction with external programs

Container for running Arch Linux in Singularity without root

OCaml bindings to Zstandard (http://zstd.net)

Coq plugin embedding elpi

Ctypes bindings to flock(2) for OCaml

No description provided.

No description provided.

Linux kernel source tree

No description provided.

BusyBox mirror

GNU toolchain for RISC-V, including GCC

C-style arbitrary precision calculator

ELF to bFLT (binary flat) converter for no-mmu Linux targets

A compiler of a subset of the C language