Beast code in Giters

Marckvdv's starred repositories

A Modern Probabilistic Model Checker

Language:C++GPL-3.013600

Open Source Collaboration Project for /r/VoxelGameDev

Language:C++Apache-2.02000

Safe OpenGL wrapper for the Rust language.

Language:RustApache-2.0350800

Empowering everyone to build reliable and efficient software.

Language:RustNOASSERTION9861000