diekmann/Simple-GPS-Android
A simple location app for android
Public GitHub Catalog
Discovered Sep 28, 2026
diekmann / isabelle-brainfuck
the famous brainfuck language implemented in the famous isabelle theorem prover
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#12734222GitHub System ID
diekmannOrganization / User
PublicVisibility
ActiveCatalog Status
More from diekmann
diekmann/Iptables_Semantics
Verified iptables Firewall Ruleset Analysis
diekmann/fixed-topos-header-space-analysis
Public repository.
diekmann/AutoGOLE-Topologies
Topologies for the Automated GOLE project