The Serenity Operating System 🐞

MLX: An array framework for Apple silicon

ONNX Runtime: cross-platform, high performance ML inferencing and training accelerator

A fast, distributed, high performance gradient boosting (GBT, GBDT, GBRT, GBM or MART) framework based on decision tree algorithms, used for ranking, classification and many other machine learning …

World's largest Contributor driven code dataset | Used in Quark Search Engine, @OpenGenus IQ, OpenGenus Visual Project

The Z3 Theorem Prover

mawww's experiment for a better code editor

F´ - A flight software and embedded systems framework

MAME

Private, fast, and honest web browser

Cloud Native Runtime Security

lightweight, standalone C++ inference engine for Google's Gemma models.

🔨 🍇 💻 🚀 GraphScope: A One-Stop Large-Scale Graph Computing System from Alibaba | 一站式图计算系统

Snort++

Lean Theorem Prover

Modern graphing calculator operating system.

Git status for Bash and Zsh prompt

Graph-structured Indices for Scalable, Fast, Fresh and Filtered Approximate Nearest Neighbor Search

WebAssembly from Scratch: From FizzBuzz to DooM.

Statically Detecting Go Concurrency Bugs

ssh-based ping: measure character echo latency and bandwidth

DIY Hexapod Robot

Fast and lightweight header-only C++ library (with Python bindings) for approximate nearest neighbor search

Richard is gaining power

Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver

Small OIT Projects, usually to coordinate with Home Assistant

PDDL+ planning through compilation to SMT