Robbepop

prophet

A simple neural net implementation.

stevia

A simple (unfinished) SMT solver for QF_ABV.

non-pdsl-example

One of the most simplest smart contracts written without the pDSL

two-phase-structure

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

fleetwood

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

pwasm-ethereum

substrate-contracts-adder

tyname

Retrieve type names during program execution on stable Rust.

type-metadata

actix

Actor framework for Rust

actix-net

framework for composable networking services

actix-web

Actix web is a small, pragmatic, and extremely fast rust web framework.

atom

:atom: The hackable text editor

ceres-ts-template

A template repository for setting up TypeScript with Ceres

DOOMWASI

DOOM Open Source Release ported to WebAssembly/WASI

MIRAI

Rust mid-level IR Abstract Interpreter

missing_spans

MK85

toy-level, simple SMT solver

parity-codec

Lightweight, efficient, binary serialization and deserialization codec

proc-macro-workshop

Learn to write Rust procedural macros  [Rust Latam conference, Montevideo Uruguay, March 2019]

pwasm-test

pwasm-test is a set of tools to make it easy to test internal logic of contracts written using pwasm-std

rust-analyzer

An experimental Rust compiler front-end for IDEs

rustfest-perf-workshop

Example code for the Rustfest 2018 Fastware workshop

sire

A symbolic evaluator for MIR

substrate-collectables-workshop

A guided tutorial for building a collectable token chain on Parity Substrate

substrate-contracts-workshop

A guided tutorial for building smart contracts on Parity Substrate

substrate-developer-hub.github.io

Substrate Documentation

substrate-package

A stable package of the substrate-node-template and substrate-ui

tlborm

The Little Book of Rust Macros

wasm-utils