☆21Nov 25, 2020Updated 5 years ago
Alternatives and similar repositories for WasmContinuations
Users that are interested in WasmContinuations are comparing it to the libraries listed below
Sorting:
- deiny is web app for web app. under development☆16Updated this week
- Formalization of Gröbner basis theory in Lean4 (WIP)☆31Mar 2, 2026Updated last week
- Example formalization of Game Theoretic concepts in Lean☆26Feb 14, 2025Updated last year
- Eb is a embeddable scripting programming language written in Rust☆18Jun 19, 2021Updated 4 years ago
- コンパイラ・IDE・OS・VMM・IME の開発のための和書☆17Updated this week
- Zeolite is a statically-typed, general-purpose programming language.☆19Jun 26, 2025Updated 8 months ago
- FreeBSD Docker image from distribution archive☆19Aug 14, 2017Updated 8 years ago
- A functional query language, implemented in Rust☆37Nov 15, 2025Updated 3 months ago
- Type inference in OCaml☆40Mar 14, 2015Updated 10 years ago
- bevy plugin for starting a webserver to visually edit bevy resources☆22Jan 21, 2021Updated 5 years ago
- A programming language (WIP)☆29Jun 2, 2024Updated last year
- ☆29Jul 3, 2023Updated 2 years ago
- Operating and Language processing system☆28Sep 10, 2021Updated 4 years ago
- The functional programming language for scalable development☆35Jan 5, 2025Updated last year
- Resilient Virtual Machine Monitor is a complete fault tolerance solution for type-I hypervisors adopting one of the most popular VMM arch…☆11Jul 30, 2020Updated 5 years ago
- Multi-core suitable Forth-like language☆37Updated this week
- An offshot of the SteamControllerSigner that aims to take advantage of the SC's dual pulse channel nature☆11Aug 14, 2017Updated 8 years ago
- Library to maintain a forking queue of Cucumber processes☆16Oct 17, 2019Updated 6 years ago
- The 2013 edition of the Source SDK☆10Aug 19, 2017Updated 8 years ago
- A companion to `rules_rust` which provides a much faster reimplementation of `crate_universe` and prevents the need for additional lockfi…☆35Updated this week
- Example redux saga worker☆11Jan 5, 2023Updated 3 years ago
- lean code☆10Jan 3, 2025Updated last year
- ☆13Jul 8, 2024Updated last year
- A select subset of shaders included in the GShade project modified for use with ReShade.☆13May 3, 2025Updated 10 months ago
- Distributed data sync using trimerge☆11Mar 26, 2024Updated last year
- the peachili( Peach + Chili) programming language☆11Feb 2, 2021Updated 5 years ago
- private 1inch☆14Apr 23, 2023Updated 2 years ago
- ☆13Jul 19, 2024Updated last year
- A Terraform module for deploying Weights & Biases on GCP.☆13Feb 25, 2026Updated last week
- WWDC 2023 Swift Student Challenge (Winner)☆10Nov 22, 2023Updated 2 years ago
- The Japanese translation for "The Rust Performance Book"☆10Sep 19, 2022Updated 3 years ago
- The (very) small kernel of the LaTTe proof assistant☆12Mar 13, 2025Updated 11 months ago
- TypeScript type-level execution tool☆11Apr 9, 2023Updated 2 years ago
- Emulator of the soviet ternary computer "Setun-70" (Сетунь-70)☆18Dec 9, 2024Updated last year
- Storage adapater for Gun database; adds local file system storage.☆17May 7, 2020Updated 5 years ago
- Make music while you program.☆43Apr 11, 2014Updated 11 years ago
- a Haskell clone for the JVM☆12Jul 9, 2015Updated 10 years ago
- Extensive Golang implementation of Concise Binary Object Representation (CBOR RFC7049) encoder and decoder☆10Nov 24, 2019Updated 6 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Nov 27, 2021Updated 4 years ago