pavpanchekha/coq-server.el
An Emacs script to run Coq remotely
Public GitHub Catalog
Discovered Sep 27, 2026
pavpanchekha / bitrate-lab
Laboratory for bit-rate selection algorithms
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.
#9479965GitHub System ID
pavpanchekhaOrganization / User
PublicVisibility
ActiveCatalog Status
More from pavpanchekha
pavpanchekha/mathjs
An extensive math library for JavaScript and Node.js
pavpanchekha/movie-server
Serve media from armless computers
pavpanchekha/macropy
Macros in Python: quasiquotes, case classes, LINQ and more!