janestreet/line-up-words

Commits: 9

janestreet/spawn

Spawning sub-processes

Commits: 9

janestreet/resource_cache

Commits: 8

janestreet/jane-street-headers

Commits: 8

ocaml-ppx/ppxlib

Base library and tools for ppx rewriters

Commits: 8

mopidy/mopidy

Mopidy is an extensible music server written in Python

Commits: 8

ocaml/dune

A composable build system for OCaml.

Commits: 8

realworldocaml/mdx

Execute code blocks inside your documentation

Commits: 8

ocaml-doc/octavius

Commits: 8

nandor/shmap

Commits: 6

janestreet/async_sendfile

Commits: 6

janestreet/ocaml-compiler-libs

Commits: 6

ocaml-ppx/ocamlformat

Auto-formatter for OCaml code

Commits: 5

trefis/lambda-dumps

Commits: 5

ocaml-mlx/ocamlformat-mlx

Commits: 5

ocaml-ppx/ocamlformat

Auto-formatter for OCaml code

Commits: 5

lpw25/dune-effects

Dune but with effects

Commits: 5

janestreet/sexplib0

Commits: 3

janestreet/findlib_top

Wrapper for findlib_top.cma

Commits: 3

fpottier/pprint

Commits: 3

trefis/uberraschung

Ö

Commits: 2

ycm-core/YouCompleteMe

A code-completion engine for Vim

Commits: 2

ungtb10d/youcompleteme

Commits: 2

raboof/core_kernel

Commits: 2

trefis/delmenu

Commits: 2

ocaml-community/utop

Universal toplevel for OCaml

Commits: 2

ocaml-doc/odoc-parser

Commits: 2

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.

Commits: 1

ocaml/subsystem-meetings

sharing documents for specialized developer meetings

Commits: 1

annenkov/coq.sprop

A fork of https://github.com/SkySkimmer/coq which is compatible with Template Coq with SProp

Commits: 1

ejgallego/coqide-exp

Experiments with split coqide

Commits: 1

rocq-prover/rocq

The Rocq Prover is an interactive theorem prover, or proof assistant. 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.

Commits: 1

aantron/dream

Tidy, feature-complete Web framework

Commits: 1

pirapira/coq2rust

Coq to Rust program extraction. The whole tree is on the original Coq code base.

Commits: 1

janestreet/janestreet.github.com

Front page

Commits: 1

camlworks/dream

Commits: 1

rocq-prover/stdlib

Commits: 1

rocq-community/micromega-plugin

Commits: 1

ocsigen/js_of_ocaml-ocamlbuild

Commits: 1

ocsigen/js_of_ocaml

Compiler from OCaml to Javascript.

Commits: 1

coq/coq-on-cachix

Commits: 1

coq/stdlib-test

Commits: 1