Pinned Repositories
gnome-shell-extension-invert-value
GNOME Shell extension for inverting the color of windows
liquidity
A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
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.
docs
The Etherlink documentation brought to you by Docusaurus 🤝
ez-api
Easy API library over ocplib-resto/ocplib-directory
mebsout's Repositories
mebsout/docs
The Etherlink documentation brought to you by Docusaurus 🤝
mebsout/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
mebsout/ez-api
Easy API library over ocplib-resto/ocplib-directory
mebsout/liquidity
A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
mebsout/result
Compat result type
mebsout/zarith_stubs_js
Javascripts stubs for the Zarith library
mebsout/gnome-shell-extension-invert-value
GNOME Shell extension for inverting the color of windows
mebsout/discord-emacs.el
Discord rich presence for emacs.
mebsout/OpenAPI-Specification
The OpenAPI Specification Repository
mebsout/cubicle
The Cubicle model checker
mebsout/alt-ergo
OCamlPro public development repository for Alt-Ergo
mebsout/melpa
Recipes and build machinery for the biggest Emacs package repo
mebsout/oled_dimmer
GNOME extension for OLED display dimming
mebsout/mebsout.github.io
mebsout/MultiSigWallet
Allows multiple parties to agree on transactions before execution.
mebsout/kind2
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
mebsout/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.
mebsout/ocamlczmq
Ocaml binding to the high-level C binding for ØMQ
mebsout/smtlib-mode
An Emacs major mode to edit and run SMTLIB v2 files
mebsout/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.
mebsout/homebrew-emacsmacport
Emacs mac port formulae for the Homebrew package manager