Join the platform over 36 million developers
call home for hosting code, managing projects, and building their best
Hide content and notifications from this user.
Learn more about blocking users
Contact Support about this user’s behavior.
Learn more about reporting abuse
Discord rich presence for emacs.
A high-level language for Tezos with OCaml syntax, with a decompiler from Michelson
Easy API library over ocplib-resto/ocplib-directory
The OpenAPI Specification Repository
The Cubicle model checker
OCamlPro public development repository for Alt-Ergo
Main public package repository for OPAM, the source package manager of OCaml.
Recipes and build machinery for the biggest Emacs package repo
GNOME extension for OLED display dimming
Allows multiple parties to agree on transactions before execution.
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
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 develo…
Ocaml binding to the high-level C binding for ØMQ
An Emacs major mode to edit and run SMTLIB v2 files
This gem contains Ruby routines for parsing org-mode files. The most significant thing this library does today is convert org-mode files to HTML or textile.
Emacs mac port formulae for the Homebrew package manager