Stars
Lightweight annotation system in Emacs
xyz is a complete operating system for zx spectrum 48k consisting of: the x compiler suite, the y os and the z gui.
Lean 4 programming language and theorem prover
an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM
A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical UI, dynamic linker, syntax-highlighting text editor, network…
Cross Platform Terminal UI toolkit for .NET
Terminal based IDE & text editor: easy, powerful and fast
ASP.NET Core is a cross-platform .NET framework for building modern cloud-based web applications on Windows, Mac, or Linux.
An extremely fast Python package and project manager, written in Rust.
💎 Feel++: Finite Element Embedded Language and Library in C++
Bitwarden infrastructure/backend (API, database, Docker, etc).
Official repository for Mandelbulber v2
Build databases, automations, apps & agents with AI — no code. Open source platform available on cloud and self-hosted. GDPR, HIPAA, SOC 2 compliant. Best Airtable alternative.
Web application for U.S. federal spending data
Build your personal knowledge base with Trilium Notes
Free and Open Source Enterprise Resource Planning (ERP)
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
Personal proof-of-concept Termux-based Android launcher, built from Termux-Monet + TEL ideas.
A computer algebra system written in pure Python
Streamlit — A faster way to build and share data apps.
Production-grade Rust-native trading engine with deterministic event-driven architecture
The development repository for the deal.II finite element library
Rich is a Python library for rich text and beautiful formatting in the terminal.