Lists (2)
Starred repositories
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…
Command and Conquer: Modding Support
Command and Conquer Tiberian Dawn
Command and Conquer: Generals - Zero Hour
Command & Conquer: Remastered Collection
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