Robbepop/non-pdsl-example

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Rust
Created over 5 years ago
Updated over 5 years ago

Robbepop/non-pdsl-example

Robbepop

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

One of the most simplest smart contracts written without the pDSL

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.

apint

Arbitrary precision integers library.

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

cnf-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.