Starred repositories
An Open Source implementation of Notebook LM with more flexibility and features
Symbolica is a high-performance computer algebra library for Python and Rust. Manipulate large expressions, match patterns, and generate optimized numerical code — at unprecedented speed.
The Native Terminal Emulator with a builtin AI Harness
A fast, helpful, and open-source document parser
Universal Rust multiplexer with a typed SDK — drive any CLI or TUI app from code. Native on Linux, macOS, and Windows.
🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.
Creusot helps you prove your Rust code is correct.
Claude Code skill: Software design philosophy guide based on A Philosophy of Software Design by John Ousterhout
Animated sprite editor & pixel art tool -- Fork of the last GPLv2 commit of Aseprite
Practical and Powerful wayland compositor (dwm but wayland)
Desktop shell for wayland compositors built with Quickshell & GO, optimized for niri, hyprland, sway, MangoWC, labwc, and MiracleWM.
A prompt engineering functional programming language
📚 A complete guide to engineering management
Local Area Network discovery tool with an interactive Terminal User Interface (TUI) written in Go. Discover, explore, and understand your LAN in an intuitive way. Knock Knock.. who's there? 🚪
Simple and safe programming language with first-class C/C++ interoperability and powerful compile-time capabilities
AI generates a real, editable PowerPoint from any document — native shapes & animations, speaker notes voiced as audio narration, and the option to follow your own .pptx template, not slide images …
A Python library for extracting structured information from unstructured text using LLMs with precise source grounding and interactive visualization.
Learn to build safety-critical systems in C. Prove first, code second.
Quickly create and run optimised Windows, macOS and Linux virtual machines
TiXL is an open source software to create realtime motion graphics.
🦋 An Infographic Generation and Rendering Framework, bring words to life with AI!
From Zero to QED: An informal introduction to formality with Lean 4