jwise/minisat
A minimalistic and high-performance SAT solver
Public GitHub Catalog
Discovered Sep 24, 2026
jwise / tmips
tmips is a small MIPS simulator for the subset of MIPS implemented by students in Carnegie Mellon's Introduction to Computer Architecture course (18-447).
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.
#1416996GitHub System ID
jwiseOrganization / User
PublicVisibility
ActiveCatalog Status
More from jwise
jwise/dalipebble
An xdaliclock port to Pebble.
jwise/ircloggr
A system for producing web accessible IRC logs, in node.js.
jwise/howsmyssl
The web app running howsmyssl.com