Mathias Lengler's repositories

TimesTableWebGL

Times Tables rendered with Three.js

Language:TypeScriptLicense:MITStargazers:26Issues:7Issues:0
Language:HTMLLicense:UnlicenseStargazers:2Issues:2Issues:0

MinesweeperSoEn

Minesweeper in Java using MVC architecture

Language:JavaStargazers:0Issues:0Issues:0

raft-rs

Raft distributed consensus algorithm implemented in Rust.

Language:RustLicense:Apache-2.0Stargazers:0Issues:2Issues:0

SolveService

A Minesweeper Solver served as a JSON API

Language:ScalaStargazers:0Issues:2Issues:0

ts-rs

Generate TypeScript bindings from Rust types

Language:RustLicense:MITStargazers:0Issues:0Issues:0

varisat

SAT solver written in Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0