Lists (3)
Starred repositories
A Pacman implementation in Rocq, extracted to C++ via Crane.
Code Editor for the AI Agents Era - Run an army of Claude Code, Codex, etc. on your machine
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Write Markdown with code assist and intelligence in the comfort of your favourite editor.
Open-source Windows and Office activator featuring HWID, Ohook, TSforge, and Online KMS activation methods, along with advanced troubleshooting.
A super lightweight markdown notepad built in Rust to replace the now bloated "Notepad" applications shipped with all modern Operating Systems.
Ο RuView: WiFi DensePose turns commodity WiFi signals into real-time human pose estimation, vital sign monitoring, and presence detection β all without a single pixel of video.
Build ultra fast, tiny, and cross-platform desktop apps with Typescript.
Algorithm powering the For You feed on X
An incremental parsing system for programming tools
Master programming by recreating your favorite technologies from scratch.
Easy to maintain open source documentation websites.
The library for web and native user interfaces.
A markup-based typesetting system that is powerful and easy to learn.
π¦ Small exercises to get you used to reading and writing Rust code!
Your own personal AI assistant. Any OS. Any Platform. The lobster way. π¦
A simple procedural scripting language that compiles to JVM bytecode.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
π A refreshing programming language for the front-end web.
π¨ The exhaustive Pattern Matching library for TypeScript, with smart type inference.
Slint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.