danielholmes/algorithms-1-sorts
Sort implementations for Algorithms 1 Coursera course
Public GitHub Catalog
Discovered Sep 27, 2026
danielholmes / logic
Formalisation of logic
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.
#9560450GitHub System ID
danielholmesOrganization / User
PublicVisibility
ActiveCatalog Status
More from danielholmes
danielholmes/ip-detect
Utility to work with MaxMind GeoIP Country IP CSV
danielholmes/game-physics-experiments
Various research and experiments for game physics
danielholmes/herbrand-logic
Formalisation of Herbrand Logic