Port of OpenAI's Whisper model in C/C++

MLX: An array framework for Apple silicon

Multi-Joint dynamics with Contact. A general purpose physics simulator.

The WebAssembly Binary Toolkit

🏋️ Python / Modern C++ Solutions of All 3735 LeetCode Problems (Weekly Update)

Library to parse and work with the C++ AST

LLMs as Copilots for Theorem Proving in Lean

A high-performance, extensible Python AOT compiler.