DavidMazarro / wasm-verifyView external linksLinks
A proof-of-concept formal verification tool for WebAssembly.
☆10Mar 3, 2024Updated last year
Alternatives and similar repositories for wasm-verify
Users that are interested in wasm-verify are comparing it to the libraries listed below
Sorting:
- An experiment in declaratively programming parallel pipelines of state machines.☆18Mar 20, 2023Updated 2 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆18Apr 4, 2019Updated 6 years ago
- Fast parallel calculations in pure mathematics, e.g. Gröbner Bases☆16Aug 19, 2024Updated last year
- Authenticated Data Structures☆16Jul 5, 2015Updated 10 years ago
- Arrowized functional state machines☆18Jul 24, 2016Updated 9 years ago
- Stack-based esoteric programming language☆18Jan 31, 2025Updated last year
- Optics via the profunctor representation theorem☆24Dec 6, 2024Updated last year
- An experiment in implementing remote hot code swapping, or dynamic code upgrade, for state machines.☆21Feb 22, 2023Updated 2 years ago
- ☆24Dec 15, 2025Updated last month
- ☆31Oct 31, 2021Updated 4 years ago
- Demonstrating comonad transformers.☆36Oct 9, 2016Updated 9 years ago
- LambdaBuffers toolkit for sharing types and their semantics between different languages☆32Updated this week
- A usable type system for call by push-value☆33Dec 16, 2019Updated 6 years ago
- GHC plugin to branch on whether a constraint is satisfied☆33Jul 29, 2025Updated 6 months ago
- small programming language. pls be gentle.☆39Feb 3, 2026Updated last week
- A DSL for creating 8-bit style music☆33Feb 5, 2024Updated 2 years ago
- Generate TypeScript typings from a Stack☆11Updated this week
- Web application to help tenants keep track of documentss related to their rental unit☆11Jan 7, 2023Updated 3 years ago
- Combinatorial game library in Lean 4☆56Feb 6, 2026Updated last week
- plugin to check spacing between sentences☆10Sep 10, 2023Updated 2 years ago
- The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language …☆41Jul 7, 2025Updated 7 months ago
- Concept Application Server☆12Jan 28, 2026Updated 2 weeks ago
- smart contracts deployed on Ethereum, one per skeleton☆11Mar 10, 2024Updated last year
- A way to track my readings☆12Updated this week
- WARNING: this requires a 32 bit build of node on osx! (tested only on osx)☆14Oct 24, 2011Updated 14 years ago
- Create string patterns and derive things from them, such as regexes☆10Sep 19, 2024Updated last year
- Distributors - Unifying Parsers, Printers & Grammars☆62Updated this week
- A Tessel-specific JavaScript driver for the TCS34725 RGB sensor☆10Oct 18, 2015Updated 10 years ago
- npm packages done right☆11Oct 23, 2016Updated 9 years ago
- Raspberry Pi Pico RP2040 powered Keyboard and Mouse converter, originally a project specifically for the IBM Model F PC/AT keyboard, it i…☆15Updated this week
- SHA256 implemented in WASM☆13Jun 2, 2023Updated 2 years ago
- Berlin Buzzwords 2023 - Laptop-sized ML for Text, with Open Source - Code☆12Oct 9, 2023Updated 2 years ago
- Learn how to build real applications with Angular2, GraphQL, and Scaphold.io☆10Jul 22, 2016Updated 9 years ago
- A toolkit that helps you to create "readonly" denormalized mongo-"views" (collections), which are especially useful for searchable UI-tab…☆10Nov 10, 2018Updated 7 years ago
- Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs☆14Jan 14, 2022Updated 4 years ago
- Examples of using Diderot☆11Sep 16, 2019Updated 6 years ago
- Match style objects containing CSS Media Queries with React Native☆12Mar 5, 2019Updated 6 years ago
- Rewrite your HTML/JS/CSS (and sourceMap!) files with SHA-512 content hashes☆12Mar 5, 2023Updated 2 years ago
- A small (~900B gzip), useful set of methods for lazy iteration of iterables.☆12Feb 7, 2026Updated last week