Lists (2)
Starred repositories
199
results
for source starred repositories
Clear filter
MSVC's implementation of the C++ Standard Library.
DirectStorage for Windows is an API that allows game developers to unlock the full potential of high speed NVMe drives for loading game assets.
Creusot helps you prove your code is correct in an automated fashion.
Automated generation of provably secure, zero-copy parsers from format specifications
Type-safe, compile-time-only units of measure in Rust with lossless log-scale arithmetic
Simple starter project for Hardcaml development
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
Template generation tool to create no_std applications targeting Espressif's chips.
Pure rust units-of-measure library for applied numerical analysis
A Westwood 3D Blender plugin. Imports & exports the W3D/W3X format to/from Blender.
OpenSAGE is a free, open source re-implementation of SAGE, the 3D real time strategy (RTS) engine used in Command & Conquer: Generals and other RTS titles from EA Pacific. Written in C#. Not affili…
A handy starter setup for playing SC2 AI matches locally.
OpenLane is an automated RTL to GDSII flow based on several components including OpenROAD, Yosys, Magic, Netgen and custom methodology scripts for design exploration and optimization.
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
A fully-modern text-based browser, rendering to TTY and browsers
A standalone Luau runtime for general-purpose programming
🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧
Templates that are directly maintained by the Typst team.