Robbepop/prophet

Stars
39
Rank 693,563 (Top 14 %)
Language
Rust
License
Other
Created about 8 years ago
Updated over 5 years ago

Robbepop/prophet

Robbepop

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

A simple neural net implementation.

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.

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

non-pdsl-example

One of the most simplest smart contracts written without the pDSL

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.