Starred repositories
CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.
Action to generate Lean documentation pages
Tool for data extraction and interacting with Lean programmatically.
A formal proof of the independence of the continuum hypothesis
A datetime library for Rust that encourages you to jump into the pit of success.
Python libraries for Google Colaboratory
Information hub for our project training the largest possible historical LLMs.
mirror of https://gitlab.mister-muffin.de/josch/img2pdf for Travis and appveyor CI
A strong, neutral, principles-driven, open source typeface for text or display
Rust library to read, manipulate and write PDF files.
Community maintained fork of pdfminer - we fathom PDF
🔍 A small experimental search engine used for testing the Spire framework, exploring crawling, indexing, and ranking in a controlled environment.
1
Updated Dec 11, 2025
🗼 A flexible async framework for building high-performance crawlers and scrapers, designed for developers who need extensible pipelines, strong concurrency, and robust middleware support.
Personal portfolio and blog showcasing work in AI infrastructure, data tooling, and open-source development. Built with Astro, TypeScript, and Tailwind.
Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction
A jq clone focussed on correctness, speed, and simplicity
Generate types and converters from JSON, Schema, and GraphQL
Python composable command line interface toolkit
Opentree browsing and curation web site. For overarching or cross-repo concerns, please see the 'germinator' repo.
A 2D wave simulator running on the GPU. Can be used for 2D light and sound simulations.
Schematic, PCB layout, mechanical CAD, and firmware to create a replica of the DSKY with electroluminescent display