The Home of Community

800K+ People
300K+ Rooms
90K+ Communities
100+ Countries

coq / coq

#[Welcome to] Coq's Gitter, call by name and don't be afraid (see coq/Sphinxing for Sphinx-related questions).

coq verification theorem proving ocaml

ocaml / opam

OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

ocaml opam source-based package manager supports

c-cube / ocaml-containers

A small standard library extension, string library, and interfaces to various libraries (bigarrays, unix, etc.) BSD license.

ocaml small standard library extension string

fp-ru / Lobby

обсуждение функционального программирования

haskell fp functional sml ocaml f# purescript idris agda scala

mackwic /

Implementation in OCaml of the Toml minimal langage (

ocaml implementation toml minimal langage