jesyspa/cco-small-projects
Public repository.
Public GitHub Catalog
Discovered Oct 31, 2026
jesyspa / modal-proof-checker
A very simple correctness checker and pretty-printer for propositional modal logic
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.
#45741212GitHub 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.