Stars
a local sqlite index of every bluesky post you might've seen (with optional vector embeddings)
GND (Gemeinsame Normdatei) Ontologie
A formalized proof of Carleson's theorem in Lean
A web tool to convert Wiki tables to CSV 📈
🚏🚍 A collection of links and tools about the VGN/VAG network
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Highly accessible themes for GNU Emacs, conforming with the highest standard for colour contrast between background and foreground values (WCAG AAA).
Mixxx is Free DJ software that gives you everything you need to perform live mixes.
For creating keyword-uris (KWIs) in Clojure for use in IGraph compliant graphs, aligned with Linked Data namespaces.
Provides an IGraph-compliant view onto an arbitrary SPARQL endpoint, informed by ont-app/vocabulary
Utilities to map between clojure namespaced keywords and RDF-style URIs
A TypeScript form builder that uses SHACL shapes as definition
The low-code Knowledge Graph application platform. Apache license.
robstewart57 / hsparql
Forked from jeffwheeler/hsparqlhsparql includes a DSL to easily create queries, as well as methods to submit those queries to a SPARQL server, returning the results as simple Haskell data structures.
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
Formalization of Mathematical Logic
Canonical common brand names, operators, transit and flags for OpenStreetMap.
A guideline compliant Tetris clone made with Haskell.
Super quick program that adds song guidelines to a Geometry Dash level based on BPM
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory