tomahawkins/verilog-gt
Public repository.
Public GitHub Catalog
Discovered Sep 24, 2026
tomahawkins / improve
An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink.
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.
#819796GitHub System ID
tomahawkinsOrganization / User
PublicVisibility
ActiveCatalog Status
More from tomahawkins
tomahawkins/monopoly
Public repository.
tomahawkins/fp-intro
Introduction to Functional Programming
tomahawkins/blocking
Public repository.