Robbepop

Robin Freyler's starred repositories

typst

A new markup-based typesetting system that is powerful and easy to learn.

Language:RustApache-2.031654 86 2253

fish-shell

The user-friendly command line shell.

Language:RustNOASSERTION25206 284 7114

wasm-micro-runtime

WebAssembly Micro Runtime (WAMR)

Language:CApache-2.04703 107 1126

inkwell

It's a New Kind of Wrapper for Exposing LLVM (Safely)

Language:RustApache-2.02242 20 295

sqlsync

SQLSync is a collaborative offline-first wrapper around SQLite. It is designed to synchronize web application state between users, devices, and the edge.

Language:RustApache-2.02206 27 42

MiddleClick-Sonoma

 "Wheel click" with three-finger click/tap for Trackpad and Magic Mouse.

Language:Objective-CGPL-3.01493 10 80

polonius

Defines the Rust borrow checker.

Language:RustApache-2.01288 68 51

rust-toolchain

Concise GitHub Action for installing a Rust toolchain

Language:ShellMIT1050 12 58

dynasm-rs

A dynasm-like tool for rust.

Language:RustMPL-2.0708 23 67

CreuSAT

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

Language:RustMIT601 8 9

wasm-reference-manual

WebAssembly Reference Manual

Apache-2.0583 31 8

wizard-engine

Research WebAssembly Engine

Language:WebAssembly352 9 11

valida

A STARK-based VM focused on code reuse, performance, and modularity

Language:RustApache-2.0266 11 42

wasi

Experimental WASI API bindings for Rust

Language:RustApache-2.0234 18 34

propane

generators

Language:Rust201 5 6

polkavm

A fast and secure RISC-V based virtual machine

Language:RustApache-2.0200 13 78

action

Cross-platform GitHub action

Language:TypeScriptMIT126 6 75

wasm_run

A WebAssembly executor for Dart and Flutter applications. Uses Rust's wasmtime optimizing runtime or wasmi interpreter to parse and execute WASM and WAT files.

Language:RustMIT103 5 20