Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)

Warcraft III Peon voice notifications (+ more!) for Claude Code, Codex, IDEs, and any AI agent. Stop babysitting your terminal. Employ a Peon today.

Shared repository for coordination for cell free protein synthesis project

Parametric CAD in Rust — CSG modeling with multi-format export

Geometry library for topological robustness

Hardware and software for accessible, extensible, and scalable bioreactors. Built on Raspberry Pi.

Can AI grow corn? A case study in vibe coding and autonomous orchestration. proofofcorn.com

Use Samsung Galaxy SmartTags on any Android device

The human-friendly Rubik's Cube computer (WIP)

Calculates the fastest way to say each number

A Python library for reading and writing PDF, powered by QPDF

CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.

Combinatorial game library in Lean 4

The Lean Computer Science Library (CSLib)

Lean documentation authoring tool

Action to generate Lean documentation pages

Document Generator for Lean 4

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 Whisper CLI, built with Rust.

🔍 A small experimental search engine used for testing the Spire framework, exploring crawling, indexing, and ranking in a controlled environment.