jbremer/stp
Simple Theorem Prover.
Public GitHub Catalog
Discovered Sep 27, 2026
jbremer / codegen
Extension to ast that allow ast -> python code generation.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#9298019GitHub System ID
jbremerOrganization / User
PublicVisibility
ActiveCatalog Status
More from jbremer
jbremer/joern-docs
Documentation for joern
jbremer/python-magic
A python wrapper for libmagic
jbremer/Flask-SuperAdmin
The best admin interface framework for Flask. With scaffolding for MongoEngine, Django and SQLAlchemy.