tekacs/z3
The Z3 Theorem Prover
Public GitHub Catalog
Discovered Oct 6, 2026
tekacs / nvpy
Simplenote syncing note-taking application, inspired by Notational Velocity and ResophNotes, but uglier and cross-platformerer.
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.
#31244620GitHub System ID
tekacsOrganization / User
PublicVisibility
ActiveCatalog Status
More from tekacs
tekacs/sbt-scalabuff
SBT plugin which generate case classes and support for serialization from Google Protocol Buffer definitions using ScalaBuff
tekacs/combos
douglassquirrel/combo re-implemented on Scala/Akka
tekacs/combo-scala
Actor-based Scala library for interacting with Combo