Beads - A memory upgrade for your coding agent

DSPy: The framework for programming—not prompting—language models

The INVAL plan validator, and other PDDL tools.

Simple and easily configurable grid world environments for reinforcement learning

JambroBeamerTheme

🫐 SimpleDarkBlue - A simple and clear LaTeX Beamer theme

🍃 SimplePlus - A minimalist and clean LaTeX Beamer theme

Auriga is a minimalist LaTeX beamer presentation theme 📽

A collection of Beamer themes from the community

Beautiful, Modern & Opinionated Linux

Open-source implementation of AlphaEvolve

Press shortcut → speak → get text. Free and open source. More local-first apps soon ❤️

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

A drop-in collection of CSS styles to make simple websites just a little nicer

nanothread — Minimal thread pool for task parallelism

A translator from PDDL to DyPDL

Let's upgrade cheap off-the-shelf robotic mowers to modern, smart RTK GPS based lawn mowing robots!

The markdown editor that's just a textarea https://overtype.dev

🌸 A command-line fuzzy finder

Yet Another Dotfiles Manager

mimalloc is a compact general purpose allocator with excellent performance.

Generate audiobooks from EPUBs, PDFs and text with synchronized captions.

Succinct Data Structure Library 2.0

A LaTeX Beamer theme, forked from the metropolis theme

Pretty-print tabular data in Python, a library and a command-line utility. Repository migrated from bitbucket.org/astanin/python-tabulate.

🪐 Markdown with superpowers — from ideas to papers, presentations and books.

PDDL parser and lifted successor generator written in Python