A Matrix client for Vim addicts

An API specification of the website https://www.floatplane.com

Project for automatically organizing and downloading Floatplane videos for plex.

Personal Website & Blog Theme for Hugo

A modular 3D printable flip dot display

MacOS inside a Docker container.

A cross-platform GUI library for Rust, inspired by Elm

Turso is an in-process SQL database, compatible with SQLite.

Genetic algorithm framework for identifying strong lottery ticket networks in randomly initialized neural networks — features YAML-based configuration, works with any model architecture, and is eas…

Fine-tuning & Reinforcement Learning for LLMs. 🦥 Train OpenAI gpt-oss, DeepSeek-R1, Qwen3, Gemma 3, TTS 2x faster with 70% less VRAM.

Reproduce R1 Zero on Logic Puzzle

The core implementation of the Acorn language.

Acorn's standard library of mathematical facts.

Minimal reproduction of DeepSeek R1-Zero

Large language model and dataset for natural language to first-order logic translation

A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

OpenAPI (AKA Swagger) document generation for Rust projects

An argumentation framework library & solver.

List of papers studying machine learning through the lens of category theory

An open source Python package for plasma research and education

Coupled hydrogen/tritium transport and heat transfer modelling using FEniCS

Emergent Communication in RLlib

Really Fast End-to-End Jax RL Implementations

JAX (Flax) implementation of algorithms for Deep Reinforcement Learning with continuous action spaces.