hannesm/xml
XML Parser for discrete data
Public GitHub Catalog
Discovered Sep 25, 2026
hannesm / KopitiamAspects
weaving of eclipse Java parser to accept custom JDT syntax for proof script
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.
#5230101GitHub System ID
hannesmOrganization / User
PublicVisibility
ActiveCatalog Status
More from hannesm
hannesm/ocaml-certify
Small command-line tool for making certificates with OCaml x509/nocrypto toolstack.
hannesm/mirage-decks
These are the MirageOS slide decks, written as a self-hosting unikernel
hannesm/opam
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.