mebsout/smtlib-mode
An Emacs major mode to edit and run SMTLIB v2 files
Developer Profile
mebsout
Discovered public repositories for mebsout in the GitHub catalog.
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/kind2
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
mebsout/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
mebsout/homebrew-emacsmacport
Emacs mac port formulae for the Homebrew package manager