Oliver Tušla

harness-remote. Companion app to control coding-agent harnesses from phone or desktop — OpenCode, PI, Oh My Pi (OMP) and Claude Code supported

OptMem. Permanent memory for AI agents. A 426-token prompt, a script, plug and play.

browser-control-mcp. MCP server paired with a browser extension that enables AI agents to control the user's browser.

harness. A meta-skill that designs domain-specific agent teams, defines specialized agents, and generates the skills they use.

coz. Coz: Causal Profiling

awesome-harness-engineering. Awesome list for AI agent harness engineering: tools, patterns, evals, memory, MCP, permissions, observability, and orchestration.

typingmind. The most advanced Web UI for AI chat

zx. A tool for writing better scripts

sh. Python process launching

RBenchmarking. R

frankenphp. 🧟 The modern PHP app server

api-platform. 🕸️ Create REST and GraphQL APIs, scaffold Jamstack webapps, stream changes in real-time.

r-compile-server. New R compile server

shaders. Zero-dependency canvas shaders that can be installed from npm or designed in Paper

Book-Mathematical-Foundation-of-Reinforcement-Learning. This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."

exercises-dataset. 1,324-exercise fitness dataset — animation GIFs, 180×180 thumbnails, muscle-group & equipment data, and step-by-step instructions in 6 languages. The exercise data layer behind the LogPress app.

dify. Build Agentic workflows, RAG pipelines, with rich AI model and tool support on one collaborative workspace. Deploy on cloud, VPC, or self-hosted, so teams move from prototype to production without rebuilding the stack.

pdfcpu. PDF tooling for Go and the command line.

SkillOpt. SkillOpt is a text-space optimizer that trains reusable natural-language skills for frozen LLM agents through trajectory-driven edits, validation-gated updates, and deployable best_skill.md artifacts.

direnv. unclutter your .profile

headroom. Compress tool outputs, logs, files, and RAG chunks before they reach the LLM. 20% fewer tokens for coding agents, 60-95% fewer tokens for JSON, same answers. Library, proxy, MCP server.

nango. Build product integrations with AI.

verona-bc. An experimental byte code interpreter for the Verona operational semantics

cppcheatsheet. C/C++ Cheat Sheet

multica. The open-source managed agents platform. Turn coding agents into real teammates — assign tasks, track progress, compound skills.

bocpy-introduction. A small repo to get started playing with BocPy

clr. Checker for Lifetimes and other Refinement types

poop. Performance Optimizer Observation Platform

backward-cpp. A beautiful stack trace pretty printer for C++

rcp. C

xbyak. A JIT assembler for x86/x64 architectures supporting FPU, MMX, SSE (1-4), AVX (1-2, 512), APX, and AVX10.2

sstt. Simple Set-Theoretic Types library

dhi. ⚡ Ultra-fast data validation for Python & TypeScript. Drop-in Pydantic/Zod replacement powered by Zig + SIMD WASM.

turboAPI. FastAPI-compatible Python framework with Zig HTTP core; 7x faster, free-threading native

browser. Lightpanda: the headless browser designed for AI and automation

effect-query. Effect-Query - The Tanstack Query integration with Effect.

career-ops. Open-source AI job search: scan job portals, evaluate listings with a structured A-F rubric into a 1.0-5.0 score, tailor your CV, track applications — runs locally in your AI coding CLI (Claude Code, Codex, OpenCode, Antigravity…)

caveman. 🪨 why use many token when few token do trick — Claude Code skill that cuts 65% of tokens by talking like caveman

graphify. Turn any codebase, with its docs, SQL schemas, configs, and PDFs, into a queryable knowledge graph. A /graphify skill for Claude Code, Cursor, Codex, and Gemini CLI: local deterministic AST parsing, every edge explained, no vector store.

ambassador. Delegation of trait implementations via procedural macros

luau. A small, fast, and embeddable programming language based on Lua with a gradual type system.

opendataloader-pdf. PDF Parser for AI-ready data. Automate PDF accessibility. Open-source.

claude-code-transcripts. Tools for publishing transcripts for Claude Code sessions

MLsem. Type checker for dynamic languages, based on set-theoretic types

anex. Go

mempalace. The best-benchmarked open-source AI memory system. And it's free.

HaskellCheatSheet. A reference sheet for the basics of the mind-expanding Haskell language ^_^

anything-llm. Stop renting your intelligence. Own it with AnythingLLM. Everything you need for a powerful local-first agent experience

llmfit. Hundreds of models & providers. One command to find what runs on your hardware.

llmserve. A simple TUI for serving local LLM models. Pick a model, pick a backend, serve it

1brc. 1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java

cli. Google Workspace CLI — one command-line tool for Drive, Gmail, Calendar, Sheets, Docs, Chat, Admin, and more. Dynamically built from Google Discovery Service. Includes AI agent skills.

hyperfine. A command-line benchmarking tool

omni. The open agent stack for enterprise - connect any AI model to internal apps and data

pptypst. Bring the power of Typst to PowerPoint

typst.ts. Run Typst in JavaScriptWorld.

qmd. mini cli search engine for your docs, knowledge bases, meeting notes, whatever. Tracking current sota approaches while being all local

FastFlowLM. Run LLMs on AMD Ryzen™ AI NPUs in minutes. Just like Ollama - but purpose-built and deeply optimized for the AMD NPUs.

nanoclaw. A lightweight alternative to OpenClaw that runs in containers for security. Connects to WhatsApp, Telegram, Slack, Discord, Gmail and other messaging apps,, has memory, scheduled jobs, and runs directly on Anthropic's Agents SDK

supermemory. Memory and context engine + app that is extremely fast, scalable, and can be run fully locally. The Memory API for the AI era.

SharePoint-Video-Downloader-Extension. An extension to download SharePoint Videos with transcriptions

errors. Go error library with error portability over the network

monica. Personal CRM. Remember everything about your friends, family and business relationships.

stlcpp. Rust

json-tui. A JSON terminal UI made in C++

device-activity-tracker. A phone number can reveal whether a device is active, in standby or offline (and more). This PoC demonstrates how delivery receipts + RTT timing leak sensitive device-activity patterns. (WhatsApp / Signal)

tunnelto. Expose your local web server to the internet with a public URL.

runanywhere-sdks. Production ready toolkit to run AI locally

OpenTinker. OpenTinker is an RL-as-a-Service infrastructure for foundation models

soprano. Soprano: Instant, Ultra-Realistic Text-to-Speech

ml-sharp. Sharp Monocular View Synthesis in Less Than a Second

with. Command prefixing for continuous workflow using a single tool.

FastLanes. Next-Gen Big Data File Format

rustfs. 🚀2.3x faster than MinIO for 4KB object payloads. RustFS is an open-source, S3-compatible high-performance object storage system supporting migration and coexistence with other S3-compatible platforms such as MinIO and Ceph.

pulumi. Pulumi - Infrastructure as Code in any programming language 🚀

dokploy. Open Source Alternative to Vercel, Netlify and Heroku.

coolify. An open-source, self-hostable PaaS alternative to Vercel, Heroku & Netlify that lets you easily deploy static sites, databases, full-stack applications and 280+ one-click services on your own servers.

n8n. Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.

mastra. Mastra is the modern TypeScript framework for AI-powered applications and agents.

numby. A powerful natural language calculator with both CLI and TUI.

notion-downloader. ⬇️ Download notion content, images, videos, audio, pdf, files and convert to markdown

fumadocs. The beautiful & flexible React.js docs framework.

LiteRT-LM. LiteRT-LM is Google's production-ready, high-performance, open-source inference framework for deploying Large Language Models on edge devices.

nofx. Your AI trading terminal assistant for US stocks, commodities, forex, and crypto.

MiniMax-M2. MiniMax-M2, a model built for Max coding & agentic workflows.

toon. 🎒 Token-Oriented Object Notation (TOON) – compact, human-readable serialization of JSON data for LLM prompts. TypeScript SDK, CLI, benchmarks.

nanochat. The best ChatGPT that $100 can buy.

biome. A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.

Vscode-Workspace-Formatter. 🔧 Format all your files in a workspace with one click. 🔧

minimind. 🧠「大模型」2小时完全从0训练64M的小参数LLM！Train a 64M-parameter LLM from scratch in just 2h!

mlir-tutorial-docker. Dockerfile

webawesome. Build better with Web Awesome, the open source library of web components from Font Awesome. Upgrade to Pro and ship websites faster!

lespas. Les Pas, photo album app for Nextcloud user

docling. Get your documents ready for gen AI

argo-cd. Declarative Continuous Deployment for Kubernetes

OpenCut. The open-source CapCut alternative

neon. Neon: Serverless Postgres. We separated storage and compute to offer autoscaling, code-like database branching, and scale to zero.

cue. The home of the CUE language! Validate and define text-based and dynamic configuration

browserless. Deploy headless browsers in Docker. Run on our cloud or bring your own. Free for non-commercial uses.

desktop. Welcome to a calmer internet

Resume-Matcher. The #1 AI Harness for Building Resumes, PDFs, Cover Letters & more, locally with 100+ LLMs support.

markitdown. Python tool for converting files and office documents to Markdown.

lakeFS. lakeFS - Data version control for your data lake | Git for data

glossarium. Glossarium is a simple typst glossary.

codly. A Typst package for even better code blocks

Graphite. Community-built comprehensive 2D content creation appplication for graphic design, digital art, and interactive real-time motion graphics powered by a node-based procedural graphics engine

twenty. The open alternative to Salesforce, designed for AI.

langs-in-rust. A list of programming languages implemented in Rust, for inspiration.

TradingAgents. TradingAgents: Multi-Agents LLM Financial Trading Framework

salsa. A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

remotely-save. Sync notes between local and cloud with smart conflict: S3 (Amazon S3/Cloudflare R2/Backblaze B2/...), Dropbox, webdav (NextCloud/InfiniCLOUD/Synology/...), OneDrive, Google Drive (GDrive), Box, pCloud, Yandex Disk, Koofr, Azure Blob Storage.

effekt. A language with lexical effect handlers and lightweight effect polymorphism

grape-suite. Typst template suite for papers, presentation slides, exams, and more!

RemoteCam. Your android camera streamed on your desktop: use as a source for OBS, or as a webcam with v4l2. Free✅, No Ads✅, Open Source✅

pdfpc. A presenter console with multi-monitor support for PDF files.

quincy. Post-quantum QUIC-based VPN

teach-rs. A modular, reusable university course for Rust

ante. A safe, easy systems language

educe. This crate offers procedural macros designed to facilitate the swift implementation of Rust's built-in traits.

envoy. Cloud-native high-performance edge/middle/service proxy

AI-Scientist-v2. The AI Scientist-v2: Workshop-Level Automated Scientific Discovery via Agentic Tree Search

vyper. Pythonic Smart Contract Language for the EVM

disruptor-rs. Low latency inter-thread communication library in Rust inspired by the LMAX Disruptor.

assign-resources. Rust macro to split up fields of a Peripherals struct into new structs

Simple. A Simple showcase for the Sea-of-Nodes compiler IR

astexplorer. A web tool to explore the ASTs generated by various parsers.

aider. aider is AI pair programming in your terminal

Cwerg. The best C-like language that can be implemented in 10kLOC.

wizard-engine. Research WebAssembly Engine

virgil. A fast and lightweight native programming language

kroki. Creates diagrams from textual descriptions!

blocksuite. 🧩 Content editing tech stack for the web - BlockSuite is a toolkit for building editors and collaborative applications.

Cuik. A Modern C11 compiler (STILL EARLY)

sljit. Platform independent low-level JIT compiler

unsloth. Unsloth is a local UI for training and running Kimi K3, Gemma 4, Qwen3.6, DeepSeek, GLM and other models.

xdsl. A Python compiler design toolkit.

books. A collection of online books for data science, computer science and coding!

MiniCPM-V. A Pocket-Sized MLLM for Ultra-Efficient Image and Video Understanding on Your Phone

ox. Safe direct-style streaming, concurrency and resiliency for Scala on the JVM

design-patterns-for-humans. An ultra-simplified explanation to design patterns

reviewdog. 🐶 Automated code review tool integrated with any code analysis tools regardless of programming language

storm. An LLM-powered knowledge curation system that researches a topic and generates a full-length report with citations.

Valetudo. Cloud replacement for vacuum robots enabling local-only operation

sioyek. Sioyek is a PDF viewer with a focus on textbooks and research papers

ai-hedge-fund. An AI Hedge Fund Team

awesome-jit. A curated list of awesome JIT frameworks, libraries, software and resources

ir. Lightweight JIT Compilation Framework

upx. UPX - the Ultimate Packer for eXecutables

awesome-falsehood. 😱 Falsehoods Programmers Believe in

smyth. Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.

httptoolkit. HTTP Toolkit is a beautiful & open-source tool for debugging, testing and building with HTTP(S) on Windows, Linux & Mac :tada: Open an issue here to give feedback or ask for help.

tolgee-platform. Developer & translator friendly web-based localization platform

scalene. Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals

gel. Gel supercharges Postgres with a modern data model, graph queries, Auth & AI solutions, and much more.

ToolJet. ToolJet is the open-source foundation of ToolJet AI - the enterprise app generation platform for building internal tools, dashboard, business applications, workflows and AI agents 🚀

ui. A set of beautifully-designed, accessible components and a code distribution platform. Works with your favorite frameworks. Open Source. Open Code.

platform. Huly — All-in-One Project Management Platform (alternative to Linear, Jira, Slack, Notion, Motion)

par. ⅋ — session types for Rust

reading-group. :notebook: Regular reading group of the Prague programming languages and systems research network.

ctu-thesis-typst. Typst template for an IT thesis at the Czech Technical University in Prague.

ecapture. Capturing SSL/TLS plaintext without a CA certificate using eBPF. Supported on Linux/Android kernels for amd64/arm64.

postiz-app. 📨 The ultimate agentic social media scheduling tool 🤖

kotaemon. An open-source RAG-based tool for chatting with your documents.

koodo-reader. A modern ebook manager and reader with sync and backup capacities for Windows, macOS, Linux, Android, iOS and Web

koreader. An ebook reader application supporting PDF, DjVu, EPUB, FB2 and many more formats, running on Cervantes, Kindle, Kobo, PocketBook and Android devices

veyon. Cross-platform computer monitoring and classroom management

mitex. LaTeX support for Typst, powered by Rust and WASM. https://mitex-rs.github.io/mitex/

ion-rust. Rust implementation of Amazon Ion

capy. 🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.

cakeml. CakeML: A Verified Implementation of ML

Enzyme. High-performance automatic differentiation of LLVM and MLIR.

CompilerGym. Reinforcement learning environments for compiler and program optimization tasks

wuffs. Wrangling Untrusted File Formats Safely

khoj. Your AI second brain. Self-hostable. Get answers from the web or your docs. Build custom agents, schedule automations, do deep research. Turn any online or local LLM into your personal, autonomous AI (gpt, claude, gemini, llama, qwen, mistral). Get started - free.

OutfitAnyone. Outfit Anyone: Ultra-high quality virtual try-on for Any Clothing and Any Person

open-webui. User-friendly AI Interface (Supports Ollama, OpenAI API, ...)

themix-gui. Graphical application for generating different color variations of Oomox (Numix-based) theme (GTK2, GTK3, Cinnamon, GNOME, Openbox, Xfwm), Archdroid, Gnome-Color, Numix, Papirus and Suru++ icon themes. Have a hack for HiDPI in gtk2. Its Base16 plugin also allowing a lot of app themes support like Alacritty, Emacs, GTK4, KDE, VIM and many more.

OpenVoice. Instant voice cloning by MIT and MyShell. Audio foundation model.

private-gpt. Complete API layer for private AI applications on local models: RAG, skills, tools, MCP, text-to-sql, and more. Works with any OpenAI-compatible inference server.

sile. The SILE Typesetter — Simon’s Improved Layout Engine

atuin. ✨ Making your shell magical

undetected-chromedriver. Custom Selenium Chromedriver | Zero-Config | Passes ALL bot mitigation systems (like Distil / Imperva/ Datadadome / CloudFlare IUAM)

Flowise. Build AI Agents, Visually

heyform. Open-Source Form Builder

cool-retro-term. A good looking terminal emulator which mimics the old cathode display...

plt. Programming Language Theory λΠ

wluma. Automatic brightness adjustment based on screen contents and ALS

garnet. Garnet is a remote cache-store from Microsoft Research that offers strong performance (throughput and latency), scalability, storage, recovery, cluster sharding, key migration, and replication features. Garnet can work with existing Redis clients.

steg86. Hiding messages in x86 programs using semantic duals

kando. 🌸 Do things with utmost efficiency.

libfirm. graph based intermediate representation and backend for optimising compilers

ant-design. An enterprise-class UI design language and React UI library

lzav. Fast In-Memory Data Compression Algorithm (header-only C/C++) 540+MB/s compress, 3000+MB/s decompress, ratio% better than LZ4, Snappy, and Zstd@-1

claro-lang. Claro Lang

typst-fletcher. Typst package for drawing diagrams with arrows, built on top of CeTZ.

accent. The first developer-oriented translation tool. True asynchronous flow between translators and your team.

static-analysis. ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

zed. Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

experimental_compiler. C

PhotoMaker. PhotoMaker [CVPR 2024]