ctiedt

Clemens Tiedt's starred repositories

Source code of Ferrocene, safety-critical Rust toolchain

Language:RustNOASSERTION1233 20 42

WebAssembly implementation from scratch in Safe Rust with zero dependencies

Language:RustMIT418 14 9

🍭 A sweet, functional programming language that is robust, minimalistic, and expressive.

Language:RustMIT313 3 161

Language:RustBSD-2-Clause53 100

Our Flutter based App for Android and iOS.

Language:DartAGPL-3.020 27 235

Language:SmalltalkMIT12 140

The inofficial HPI app, written in Flutter

Language:DartApache-2.010 8 93

A library for making your programs more reliable

Language:RustMIT1 30