ReinierMaas

Reinier Maas's starred repositories

bootstrap

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

Language:JavaScriptMIT168158 6744 22426

syncthing

Open Source Continuous File Synchronization

Language:GoMPL-2.062426 1025 5434

sled

the champagne of beta embedded databases

Language:RustApache-2.07921 136 581

pagefind

Static low-bandwidth search at scale

Language:RustMIT3249 20 282

circuitjs1

Electronic Circuit Simulator in the Browser

Language:JavaGPL-2.02245 79 853

nipplejs

:video_game: A virtual joystick for touch capable interfaces.

Language:JavaScriptMIT1769 29 140

prusti-dev

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

Language:RustNOASSERTION1532 20 471

high-assurance-rust

A free book about developing secure and robust systems software.

Language:Rust1288 39 16

creusot

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

Language:RustLGPL-2.11078 24 340

tray_rust

A toy ray tracer in Rust

Language:RustMIT515 26 3

st

Command Space-Time explorer

Language:C++MIT189 5 9

noblit

An immutable append-only database

Language:RustApache-2.027 60

PathTracer

Language:Rust3 1 4

vulkano-pathtracer

A multi-stage unidirectional path tracer for microfacet models

Language:Rust2 20

Solvers

Simple default implementations of widely spread solvers

Language:C#MIT2 1 2

AFP-Ants

Language:Haskell100

Algorithms

Simple default implementations of widely spread algorithms

Language:C#MIT1 1 5

DataStructures

Simple default implementations of widely spread datastructures

Language:C#MIT1 2 10

concepts-slide-template

Language:TeX100