A static verifier for Rust, based on the Viper verification infrastructure.

Creusot helps you prove your code is correct in an automated fashion.

Command Space-Time explorer

A free book about developing secure and robust systems software.

the champagne of beta embedded databases

Static low-bandwidth search at scale

Open Source Continuous File Synchronization

An immutable append-only database

Electronic Circuit Simulator in the Browser

A multi-stage unidirectional path tracer for microfacet models

🎮 A virtual joystick for touch capable interfaces.

A toy ray tracer in Rust

The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.

Simple default implementations of widely spread solvers

Simple default implementations of widely spread datastructures

Simple default implementations of widely spread algorithms