mebsout Goto Github PK

alt-ergo

OCamlPro public development repository for Alt-Ergo

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.

cubicle

The Cubicle model checker

discord-emacs.el

Discord rich presence for emacs.

ez-api

Easy API library over ocplib-resto/ocplib-directory

gnome-shell-extension-invert-value

GNOME Shell extension for inverting the color of windows

homebrew-emacsmacport

Emacs mac port formulae for the Homebrew package manager

kind2

Multi-engine SMT-based automatic model checker for safety properties of Lustre programs

liquidity

A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson

mebsout.github.io

melpa

Recipes and build machinery for the biggest Emacs package repo

multisigwallet

Allows multiple parties to agree on transactions before execution.

ocamlczmq

Ocaml binding to the high-level C binding for ØMQ

oled_dimmer

GNOME extension for OLED display dimming

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

openapi-specification

The OpenAPI Specification Repository

org-ruby

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.

result

Compat result type

smtlib-mode

An Emacs major mode to edit and run SMTLIB v2 files

zarith_stubs_js

Javascripts stubs for the Zarith library