Robin Freyler (Robbepop)

Robbepop

Geek Repo

Location:Berlin

Github PK Tool:Github PK Tool


Organizations
sat-clique

Robin Freyler's repositories

string-interner

A data structure to efficiently intern, cache and restore strings.

Language:RustLicense:NOASSERTIONStargazers:161Issues:5Issues:23

modular-bitfield

Macro to generate bitfields for structs that allow for modular use of enums.

Language:RustLicense:Apache-2.0Stargazers:151Issues:8Issues:65

enum-tag

Proc. macro to generate C-like `enum` tags.

Language:RustLicense:MITStargazers:12Issues:1Issues:2

dimacs-parser

Utilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.

Language:RustLicense:MITStargazers:8Issues:2Issues:2

enum-codec

Space-efficient codec for Rust `enum` types.

Language:RustStargazers:4Issues:1Issues:0

union-fn

Proc macros for union function data structure.

Language:RustLicense:MITStargazers:4Issues:2Issues:1

enum-ref

Proc. macro for generating reference wrappers for Rust `enum` types.

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

multi-stash

A vector-like data structure that reuses slots for new elements.

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

polonius

Defines the Rust borrow checker.

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

a-tale-of-binary-translation

Simple RISC-V emulator presented at Rust Nation 2023

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

awesome-wasm-runtimes

A list of webassemby runtimes

Stargazers:0Issues:0Issues:0
Stargazers:0Issues:1Issues:0
Stargazers:0Issues:0Issues:0

enum-newtype

Proc. macro to turn any enum into an enum of newtypes.

Language:RustStargazers:0Issues:1Issues:0

polkavm

A fast and secure RISC-V based virtual machine

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

polkavm-experiment

An experimental RISC-V recompiler

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

rfcs

RFCs for changes to Rust

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

rust

A safe, concurrent, practical language.

Language:RustLicense:NOASSERTIONStargazers:0Issues:2Issues:0

s1vm

Fast Wasm interpreter in Rust

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

smoldot

Lightweight client for Substrate-based chains, such as Polkadot and Kusama.

Language:RustLicense:GPL-3.0Stargazers:0Issues:0Issues:0

testsuite

Mirror of the spec testsuite

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

toywasm

A WebAssembly interpreter

Language:CLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

wasm-coremark-rs

Coremark for wasm executors

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

wasm-micro-runtime

WebAssembly Micro Runtime (WAMR)

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

wasm-reference-manual

WebAssembly Reference Manual

License:Apache-2.0Stargazers:0Issues:0Issues:0

wasm-tools

Low level tooling for WebAssembly in Rust

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

wasmparser

A simple event-driven library for parsing WebAssembly binary files

Stargazers:0Issues:1Issues:0

wasmtime

Standalone JIT-style runtime for WebAssembly, using Cranelift

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

Web49

Web49: WebAssembly Interpeter

Language:CLicense:MITStargazers:0Issues:0Issues:0