🚀 Fast and lightweight sandboxes for your apps and AI agents
- webassembly
- wasm
- wasi
- emscripten
Repository Index
47,133 repositories indexed
1–18 of 18 · Most stars
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
Astrid is a portable, capability-secure operating system for composable software.
🚀 A fast WebAssembly interpreter and the most universal WASM runtime
An ultra-lightweight Python interpreter that runs with only 4KB of RAM, zero dependencies. It is ready to use out of the box without any configuration required and easy to extend with C. Similar project: MicroPython, JerryScript.
- python
- micropython
- mcu
- iot
Embedded Go Database, the fast alternative to SQLite, gorm, etc.
Wasmer SDK: Run anything, anywhere suing WebAssembly-based sandboxes
- webassembly
- nodejs
- npm-package
- wasi
A pure-Go JavaScript runtime built for running many small plugin sandboxes fast.
- golang
- javascript
- sandbox
formally verified category theory library
- category-theory
- formal-verification
- formal-proofs
Ruby speech recognition with Pocketsphinx
Erlang state "monad" with merge/conflict-resolution capabilities. Useful for Riak.
Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.
- python
- typechecking
- override
- pep484
The iterable toolbox
Rocket League Replay parser in Rust
- rust
- serde
- rocket-league
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.
- cross-platform
- dialog
- file
- filesystem
immutable primitive array/NonEmptyArray wrapper for Scala
- data-structures
- scala
- primitive-arrays
- scala-js