bschommer

Pinned Repositories

• CompCert

  The CompCert formally-verified C compiler

  Language:Coq1.9k63279226

• 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:OCaml4.8k10410.1k646

• opam

  Archive for all Coq related OPAM packages organized in various repositories

  Language:OCaml12219130161

• yojson

  Low-level JSON parsing and pretty-printing library for OCaml

  Language:OCaml33097158

• dune

  A composable build system for OCaml.

  Language:OCaml1.6k383k401

• merlin

  Context sensitive completion for OCaml in Vim and Emacs

  Language:OCaml1.6k381.1k233

• ocaml

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

  Language:OCaml5.4k2067.5k1.1k

• opam-repository

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

  516331.3k1.1k

• Zarith

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

  Language:OCaml229177270

• spacemacs

  A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

  Language:Emacs Lisp23.7k4808.6k4.9k

bschommer's Repositories