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/prophet
A simple neural net implementation.
Robbepop/stevia
A simple (unfinished) SMT solver for QF_ABV.
Robbepop/cionc
The toy-compiler for the Cion programming language.
Robbepop/non-pdsl-example
One of the most simplest smart contracts written without the pDSL
Robbepop/state_ptr
A pointer that allows to store state into unused bits of the address.
Robbepop/two-phase-structure
A repo that describes a smart contract structure for the planned two-phase compilation approach.
Robbepop/cionc-old
The compiler front end for the Cion programming language.
Robbepop/fleetwood
Testbed repo for trying out ideas of what a smart contract API in Rust would look like
Robbepop/pollock
An ergonomic and performant processing-like library for generative art and simple games in Rust
Robbepop/pwasm-ethereum
Robbepop/substrate-contracts-adder
Robbepop/tfs
Next Generation File System
Robbepop/tyname
Retrieve type names during program execution on stable Rust.
Robbepop/atom
:atom: The hackable text editor
Robbepop/candy-kingdom
A collection of SAT solvers and tools for structure analysis in SAT problems.
Robbepop/MIRAI
Rust mid-level IR Abstract Interpreter
Robbepop/missing_spans
Robbepop/MK85
toy-level, simple SMT solver
Robbepop/num-bigint
Big integer types for Rust
Robbepop/parity-codec
Lightweight, efficient, binary serialization and deserialization codec
Robbepop/proc-macro-workshop
Learn to write Rust procedural macros  [Rust Latam conference, Montevideo Uruguay, March 2019]
Robbepop/pwasm-test
pwasm-test is a set of tools to make it easy to test internal logic of contracts written using pwasm-std
Robbepop/rust-analyzer
An experimental Rust compiler front-end for IDEs
Robbepop/rustfest-perf-workshop
Example code for the Rustfest 2018 Fastware workshop
Robbepop/substrate-collectables-workshop
A guided tutorial for building a collectable token chain on Parity Substrate
Robbepop/substrate-developer-hub.github.io
Substrate Documentation
Robbepop/substrate-package
A stable package of the substrate-node-template and substrate-ui
Robbepop/this-week-in-rust
Data for this-week-in-rust.org
Robbepop/tlborm
The Little Book of Rust Macros
Robbepop/wasm-utils