There are no reviews yet. Be the first to send feedback to the community and the maintainers!
string-interner
A data structure to efficiently intern, cache and restore strings.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.enum-tag
Proc. macro to generate C-like `enum` tags.dynarray
Adjusted implementation of std::experimental::dynarray without stack allocation.runwell
An experimental WebAssembly virtual machine.dimacs-parser
Utilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.clpp
A thin header-only wrapper around OpenCL 2.0+ for modern and highlevel C++.cionc
The toy-compiler for the Cion programming language.union-fn
Proc macros for union function data structure.enum-codec
Space-efficient codec for Rust `enum` types.intx
non-pdsl-example
One of the most simplest smart contracts written without the pDSLcnf-parser
Efficient and customizable CNF parser for SAT solving.state_ptr
A pointer that allows to store state into unused bits of the address.bucket_vec
A vector-like collection that guarantees not to move its internal elements.cionc-old
The compiler front end for the Cion programming language.indexmap-nostd
A `no_std` implementation of the `indexmap` crate.two-phase-structure
A repo that describes a smart contract structure for the planned two-phase compilation approach.addressable-pairing-heap
An addressable pairing heap implementation for Rust.tyname
Retrieve type names during program execution on stable Rust.wasm_kernel
A Wasm kernel for benchmarking wasmi.rust_m3
An attempt at building a threaded code interpreter architecture in Rust.enum-ref
Proc. macro for generating reference wrappers for Rust `enum` types.interpreter-dispatch-research
Some research on efficient interpreter instruction dispatch in Rust.ipasir-rs
FFI bindings for the IPASIR incremental SAT solver interface.multi-stash
A vector-like data structure that reuses slots for new elements.Love Open Source and this site? Check out how you can help us