Repository Index

Build, bundle & ship your Rust WASM application to the web.

• rust
• wasm
• bundler
• assets

:station: - friendly web compiler

• compile
• assets
• browserify
• server

Persistent sorted maps and sets with log-time rank queries

Finite sets, finite maps, multisets and generic sets

• coq
• ssreflect
• mathcomp
• finite-sets

Examples of scripts for accounts, dApps and assets using RIDE programming language.

• ride
• smart-contracts
• dapp-example
• dapp

Browser-based multitrack audio visualiser with synchronised playback, configurable presets and video export via ffmpeg.wasm. Shares one core with a headless CLI.

• audio
• canvas
• ffmpeg
• multitrack