mikesname/ehri-search-tools
Search index data conversion tool and search engine configuration tests.
Public GitHub Catalog
Discovered Sep 30, 2026
mikesname / java-playground
Playground for testing Java stuff
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.
#19244156GitHub System ID
mikesnameOrganization / User
PublicVisibility
ActiveCatalog Status
More from mikesname
mikesname/ehri-rest
Web service and business logic for managing EHRI collection metadata.
mikesname/ehri-ead-preprocessing
Tools to normalise EAD files before importing into the EHRI database
mikesname/fluxgraph
A temporal graph database on top of Datomic