pavpanchekha/fine
A function-intentional programming language
Public GitHub Catalog
Discovered Sep 24, 2026
pavpanchekha / poker.cc-lsp
The final Nevard assignment; or, how to fail CS2
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.
#794623GitHub System ID
pavpanchekhaOrganization / User
PublicVisibility
ActiveCatalog Status
More from pavpanchekha
pavpanchekha/blazeit
A proof assistant.
pavpanchekha/coq-server.el
An Emacs script to run Coq remotely
pavpanchekha/mathjs
An extensive math library for JavaScript and Node.js