Any model. Any hardware. Zero compromise. Built with @ziglang / @openxla / MLIR / @bazelbuild

Lean 4 programming language and theorem prover

Development of the next generation of Industry Foundation Classes

Browser-native IFC viewer with WebGPU rendering and Rust/WASM parser for high-performance BIM visualization

MessagePack implementation for Rust / msgpack.org[Rust]

Command-line XML and HTML beautifier and content extractor

A low-level abstraction of the Direct Rendering Manager API

A no-build JavaScript CDN for modern web development.

Keep it simple, stupid 3d graphics engine for Rust.

Build fast web applications with Rust.

A command-line benchmarking tool

A markup-based typesetting system that is powerful and easy to learn.

SD.Next: All-in-one WebUI for AI generative image and video creation, captioning and processing

Quick interactive TUI json picker/menu

A high-performance, incremental SIMD parser designed for editors, compilers, language servers, and MCP.

Full-featured 2d graphics library for Nim.

Continuation-Passing Style for Nim 🔗

Geometry library for topological robustness

Label Studio is a multi-type data labeling and annotation tool with standardized output format

Zcash - Financial Privacy in Rust 🦓

OpenNURBS libraries allow anyone to read and write the 3DM file format without the need for Rhino.

Benchmarking web frameworks written in rust with rewrk tool.

Fullstack app framework for web, desktop, and mobile.

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

J engine source mirror

Odin Programming Language

Simple DirectMedia Layer

Pure functional programming with whole-program mutability inference

Command-line sampling profiler for macOS, Linux, and Windows