mebsout/smtlib-mode
An Emacs major mode to edit and run SMTLIB v2 files
Public GitHub Catalog
Discovered Nov 2, 2026
mebsout / ocamlczmq
Ocaml binding to the high-level C binding for ØMQ
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#50074193GitHub System ID
mebsoutOrganization / User
PublicVisibility
ActiveCatalog Status
More from mebsout
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.