reprogrammer/CodingSpectator-Releases
CodingSpectator Eclipse Update Sites
Public GitHub Catalog
Discovered Sep 24, 2026
reprogrammer / kerlang
kerlang is a formal definition of the semantics of the Erlang programming language using the K framework.
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.
#374171GitHub System ID
reprogrammerOrganization / User
PublicVisibility
ActiveCatalog Status
More from reprogrammer
reprogrammer/cascade
A universal inference tool for type qualifiers in Java 8 (JSR-308)
reprogrammer/keshmesh-derby
Mirror of Apache Derby
reprogrammer/keshmesh-cassandra
Mirror of Apache Cassandra