Robin Freyler

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

prophet. A simple neural net implementation.

stevia. A simple (unfinished) SMT solver for QF_ABV.

apint. Arbitrary precision integers library.

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

runwell. An experimental WebAssembly virtual machine.

dynarray. Adjusted implementation of std::experimental::dynarray without stack allocation.

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

cionc. The toy-compiler for the Cion programming language.

clpp. A thin header-only wrapper around OpenCL 2.0+ for modern and highlevel C++.

union-fn. Proc macros for union function data structure.

enum-codec. Space-efficient codec for Rust `enum` types.

intx. Rust

non-pdsl-example. One of the most simplest smart contracts written without the pDSL

state_ptr. A pointer that allows to store state into unused bits of the address.

cnf-parser. Efficient and customizable CNF parser for SAT solving.

bucket_vec. A vector-like collection that guarantees not to move its internal elements.

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

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

cionc-old. The compiler front end for the Cion programming language.

two-phase-structure. A repo that describes a smart contract structure for the planned two-phase compilation approach.

ipasir-rs. FFI bindings for the IPASIR incremental SAT solver interface.

wasm3-rs. Rust wrapper for Wasm3, the fastest WebAssembly interpreter

indexmap-nostd. A `no_std` implementation of the `indexmap` crate.

type-metadata. Rust

wasm_kernel. A Wasm kernel for benchmarking wasmi.

addressable-pairing-heap. An addressable pairing heap implementation for Rust.

fleetwood. Testbed repo for trying out ideas of what a smart contract API in Rust would look like