IgKh/minisat
A minimalistic and high-performance SAT solver
Public GitHub Catalog
Discovered Sep 24, 2026
IgKh / ttime
Technion Timetable Utility
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.
#956458GitHub System ID
IgKhOrganization / User
PublicVisibility
ActiveCatalog Status
More from IgKh
IgKh/Giyusit
Public repository.
IgKh/imgur-uploader
A Qt based imgur.com Uploader
IgKh/Open-Knesset
A project aimed at making the israeli Knesset more transparent. Python and Django based