COCTI Project
Popular repositories Loading
-
ocaml
ocaml PublicForked from ocaml/ocaml
The core OCaml system: compilers, runtime system, base libraries
-
certint-amb
certint-amb PublicForked from garrigue/certint
A Certified Interpreter for ML with Ambivalent Types
Coq 3
-
coq-of-ocaml
coq-of-ocaml PublicForked from formal-land/coq-of-ocaml
Import OCaml programs to Coq 🐓 🐫
OCaml 1
-
opam-coq-archive
opam-coq-archive PublicForked from rocq-prover/opam
Archive for all Coq related OPAM packages organized in various repositories
OCaml
-
lablgtk
lablgtk PublicForked from garrigue/lablgtk
LablGTK 2 and 3: an interface to the GIMP Tool Kit
OCaml
-
opam-repository
opam-repository PublicForked from ocaml/opam-repository
Main public package repository for opam, the source package manager of OCaml.
Shell
Repositories
- ocaml Public Forked from ocaml/ocaml
The core OCaml system: compilers, runtime system, base libraries
COCTI/ocaml’s past year of commit activity - certint-amb Public Forked from garrigue/certint
A Certified Interpreter for ML with Ambivalent Types
COCTI/certint-amb’s past year of commit activity - opam-repository Public Forked from ocaml/opam-repository
Main public package repository for opam, the source package manager of OCaml.
COCTI/opam-repository’s past year of commit activity - opam-coq-archive Public Forked from rocq-prover/opam
Archive for all Coq related OPAM packages organized in various repositories
COCTI/opam-coq-archive’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…