Language Breakdown
Lines of code distribution across 7 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in Scheme
Collaboration Network
Global Impact visualization
Repos
58
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
0kenx
@0kenx
Telmo Menezes
@telmomenezes
Sumner Evans
@sumnerevans
Tom Sydney Kerckhove
@NorfairKing
𝐧𝐞𝐫𝐬
@ners
Top Repositories
Project templates with Nix
AI-native ontology engine: a Rust MCP server with tools for building, validating, querying, and reasoning over RDF/OWL ontologies. In-memory Oxigraph triple store, native OWL2-DL tableaux reasoner, SHACL validation, SPARQL, versioning. Single binary, no JVM.
Browser-based RDF/ontology knowledge graph editor — load RDF from files, URLs or SPARQL endpoints; author nodes and edges on the canvas; run OWL-RL reasoning; apply multi-algorithm layout and clustering. AI-native via MCP tool surface and relay bridge. Fully client-side, no backend required.
The open source coding agent.
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
A command line tool for importing your Spotify playlists into Tidal
mini cli search engine for your docs, knowledge bases, meeting notes, whatever. Tracking current sota approaches while being all local
Free, open-source web app for learning about ontologies and Microsoft Fabric IQ. Explore a catalogue of pre-built ontologies, design your own visually, export as RDF/XML, and share interactive diagrams. Zero backend, fully static.
Open Source Impact
Contributions to external projects
