Valdi is a cross-platform UI framework that delivers native performance without sacrificing developer velocity.

An academic poster template for Typst

Open-source scientific and technical publishing system built on Pandoc.

A self-improving, stateful coding agent that can learn from experience and improve with use.

Community-editable skills for Claude Code's superpowers plugin

A curated list of awesome Claude Skills, resources, and tools for customizing Claude AI workflows

Open-source Windows and Office activator featuring HWID, Ohook, TSforge, and Online KMS activation methods, along with advanced troubleshooting.

Create book from markdown files. Like Gitbook but implemented in Rust

Identify songs in seconds

A powerful desktop companion for Android & kmp (desktop, iOS) apps — inspect, debug, mock and control your app in real time. Supports OkHttp, GraphQl, WebSockets, GRPC, databases, analytics

🧬 The Huxley-Gödel Machine

💼 another CV template for your job application, yet powered by Typst and more

A clean, customizable CV template created with Typst

The best ChatGPT that $100 can buy.

A VS Code extension to simplify math writing in Typst

Source code for student lectures on dependent type theory.

Touying is a powerful package for creating presentation slides in Typst.

Serveur MCP pour Service Public Vos Droits

Easily sideload apps to your Android device with no setup needed

The P programming language.

Share your terminal over the web

AT Protocol automation service written in Rust

Albert Conversation est une plateforme sécurisée conçue pour les agents publics, leur permettant d'utiliser l'IA générative comme outil d'aide dans l'exercice de leurs fonctions.

An open-source, unified interface for running and managing self-hosted LLMs.

Online SQL evaluator

Generative AI reference workflows optimized for accelerated infrastructure and microservice architecture.

`std::execution`, the proposed C++ framework for asynchronous and parallel programming.

C++ standards drafts

An LLM-powered programming-by-example programming language.