Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
Gitter — Explore

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. Check out our new Discourse! https://coq.discourse.group/

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 / To.ml

Implementation in OCaml of the Toml minimal langage (https://github.com/mojombo/toml)

ocaml implementation toml minimal langage