- Berlin
Starred repositories
Debugging WebAssembly? Put some Whamm! on it.
An LLVM IR dataset for data-driven compiler optimization research
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Meaningful control of data in distributed systems.
Because its never to early to rewrite it in Rust
Compatibility interface for WASM runtimes.
WebAssembly / wide-arithmetic
Forked from WebAssembly/specWebAssembly proposal for wide arithmetic
Wasm-DSL / spectec
Forked from WebAssembly/specWasm SpecTec specification tools
Fuzz Introspector -- introspect, extend and optimise fuzzers
This repository features an Energy Optimization System (EOS) that optimizes energy distribution, usage for batteries, heat pumps& household devices. It includes predictive models for electricity pr…
A fast and lightweight native programming language
General-purpose application engine for WebAssembly. Implementation of the Daku API.
Build and publish crates with pyo3, cffi and uniffi bindings as well as rust binaries as python packages
Virtual Machine/Interpreter dispatch method experiments in Rust
Source code of Ferrocene, safety-critical Rust toolchain
Gives criticality score for an open source project
OSS-Fuzz - continuous fuzzing for open source software.