An RSS/Atom feed reader for text terminals

Portable music box for Spotify and local media based on Raspberry Pi. Operated via touchscreen. Suitable for children and older people.

Software for self made touchscreen jukeboxes for kids. Supports Spotify streaming and uses Sonos for audio output.

Manage complex tmux sessions easily

The superior project management solution for neovim.

Research projects

Fast, Declarative, Reproducible, and Composable Developer Environments using Nix

Linux namespaces and seccomp-bpf sandbox

Low-level unprivileged sandboxing tool used by Flatpak and similar projects

Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available…

WebAssembly version of DuckDB

Universal skills loader for AI coding agents - npm i -g openskills

Public repository for Skills

🤗 The largest hub of ready-to-use datasets for AI models with fast, easy-to-use and efficient data manipulation tools

MiniJinja is a powerful but minimal dependency template engine for Rust compatible with Jinja/Jinja2

Beads - A memory upgrade for your coding agent

The Free Software Media System - Server Backend & API

Roll your own tracker!

A self hosted media tracker.

Official inference framework for 1-bit LLMs

Democratizing Reinforcement Learning for LLMs

Train transformer language models with reinforcement learning.

prime is a framework for efficient, globally distributed training of AI models over the internet.

SGLang is a fast serving framework for large language models and vision language models.

🐬DeepChat - A smart assistant that connects powerful AI to your personal world

⚡ Better `pre-commit`, re-engineered in Rust

Opensource IDE For Exploring and Testing API's (lightweight alternative to Postman/Insomnia)

Markdown makes sites - A Static Site Generator for Blogs