jirislaby/stp
Simple Theorem Prover.
Public GitHub Catalog
Discovered Sep 24, 2026
jirislaby / collected_sources
This is a set of a wide range of sources I've ever written for whatever purpose
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.
#1838810GitHub System ID
jirislabyOrganization / User
PublicVisibility
ActiveCatalog Status
More from jirislaby
jirislaby/2ping
A bi-directional ping utility
jirislaby/klee
KLEE Symbolic Virtual Machine
jirislaby/exploit-talk
Public repository.