Robbepop
🦀Rustacean with C & C++ origins - Enthusiastic about WebAssembly, compiler technology, virtual machines & SAT solving.
Berlin
Pinned Repositories
apint
Arbitrary precision integers library.
dynarray
Adjusted implementation of std::experimental::dynarray without stack allocation.
enum-tag
Proc. macro to generate C-like `enum` tags.
modular-bitfield
Macro to generate bitfields for structs that allow for modular use of enums.
prophet
A simple neural net implementation.
stevia
A simple (unfinished) SMT solver for QF_ABV.
string-interner
A data structure to efficiently intern, cache and restore strings.
ink
Polkadot's ink! to write smart contracts.
wasmi
WebAssembly (Wasm) interpreter.
Robbepop's Repositories
Robbepop/apint
Arbitrary precision integers library.
Robbepop/runwell
An experimental WebAssembly virtual machine.
Robbepop/dimacs-parser
Utilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.
Robbepop/union-fn
Proc macros for union function data structure.
Robbepop/indexmap-nostd
A `no_std` implementation of the `indexmap` crate.
Robbepop/interpreter-dispatch-research
Some research on efficient interpreter instruction dispatch in Rust.
Robbepop/polonius
Defines the Rust borrow checker.
Robbepop/rust_m3
An attempt at building a threaded code interpreter architecture in Rust.
Robbepop/wasm_kernel
A Wasm kernel for benchmarking wasmi.
Robbepop/cargo-expand
Subcommand to show result of macro expansion
Robbepop/cnf-problems
A collection of CNF problems used for SAT solver benchmarks.
Robbepop/const-default-rs
A Default-like trait and derive macros for const evaluation contexts.
Robbepop/const-default.rs
Robbepop/cortex-m
Low level access to Cortex-M processors
Robbepop/jit-tutorial
How to write a very simple JIT compiler
Robbepop/life_web
Life simulation written in rust
Robbepop/ocaml-interop
OCaml<->Rust FFI with an emphasis on safety.
Robbepop/ocaml-rs
OCaml extensions in Rust
Robbepop/pyasmtool
Explores the python bytecode, provides some tools to access it for fun and profit.
Robbepop/rustc-regression-102952
MCVE for the Rust compiler performance regression #102952
Robbepop/screwsat
A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.
Robbepop/starlit
CDCL SAT solver written in Rust. Very early work in progress, not really usable yet. Beware of force pushes.
Robbepop/string-interner-comparison
Robbepop/synstructure
Utilities for dealing with substructures within syn macros
Robbepop/testsuite
Mirror of the spec testsuite
Robbepop/trybuild
Test harness for ui tests of compiler diagnostics
Robbepop/type_at
Allows to index into the types of Rust tuples at compile time.
Robbepop/wasm-reference-manual
WebAssembly Reference Manual
Robbepop/wasm-spec-interpreter
Robbepop/Web49
Web49: WebAssembly Interpeter