nushio3/z3
The Z3 Theorem Prover
Public GitHub Catalog
Discovered Sep 26, 2026
nushio3 / physics-inhaskell
Knowledge of classical mechanics, written in haskell.
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.
#7542751GitHub System ID
nushio3Organization / User
PublicVisibility
ActiveCatalog Status
More from nushio3
nushio3/syntax-attoparsec
Syntax instances for Attoparsec.
nushio3/formura
Describe stencil formurae without even translating them
nushio3/.emacs.d
my .emacs.d