jesyspa/modal-proof-checker
A very simple correctness checker and pretty-printer for propositional modal logic
Public GitHub Catalog
Discovered Nov 1, 2026
jesyspa / cco-small-projects
Public repository discovered through GitHub real-time crawl.
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.
#46379003GitHub System ID
jesyspaOrganization / User
PublicVisibility
ActiveCatalog Status
More from jesyspa
jesyspa/fun-impl-tools-sandbox
A sandbox for tools for implementing functional languages.
jesyspa/book
An Introduction to Various Math Topics
jesyspa/jy-c-to-bytecode
A bytecode interpreter, plus a compiler for a C-like language to that bytecode.