cirosantilli/AlgorithmsSedgewick
Code from the book "Algorithms" (4th ed.) by Robert Sedgewick and Kevin Wayne (original, and my solutions to exercises).
Public GitHub Catalog
Discovered Oct 6, 2026
cirosantilli / key-java-formal-verification-fork
Key Java Fomal Verification
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.
#33081953GitHub System ID
cirosantilliOrganization / User
PublicVisibility
ActiveCatalog Status
More from cirosantilli
cirosantilli/dmca-fork
Repository with text of DMCA takedown notices as received. GitHub does not endorse or adopt any assertion contained in the following notices. Users identified in the notices are presumed innocent until proven guilty. Additional information about our DMCA policy can be found at
cirosantilli/test-streak-puppet2
Public repository.
cirosantilli/chat
Deprecated in favor of other repos, notably https://github.com/cirosantilli/cirosantilli.github.io/issues and https://github.com/cirosantilli/china-dictatorship/issues see README for more details. Old description: Public chats. Feel free to open an issue if you have anything to say to me.