silky/openrouteservice
OpenRouteService is an online route planning application that is based on open source software, open data and open standards.
Public GitHub Catalog
Discovered Oct 6, 2026
silky / Haskell-Morte-Library
A bare-bones calculus-of-constructions
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.
#32629720GitHub System ID
silkyOrganization / User
PublicVisibility
ActiveCatalog Status
More from silky
silky/HaTeX
The Haskell LaTeX library.
silky/Botworld
A cellular automaton for studying self-modifying agents which are embedded in their environment
silky/predictionbook
Find out just how sure you should be, and get better at being only as sure as the facts justify.