A proof-of-concept formal verification tool for WebAssembly.
☆10Mar 3, 2024Updated 2 years ago
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
- Fast parallel calculations in pure mathematics, e.g. Gröbner Bases☆16Aug 19, 2024Updated last year
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆18Apr 4, 2019Updated 6 years ago
- 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 3 years ago
- ☆24Dec 15, 2025Updated 2 months ago
- ☆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
- small programming language. pls be gentle.☆39Feb 3, 2026Updated last month
- GHC plugin to branch on whether a constraint is satisfied☆33Jul 29, 2025Updated 7 months ago
- A DSL for creating 8-bit style music☆33Feb 5, 2024Updated 2 years ago
- Generate TypeScript typings from a Stack☆11Updated this week
- Combinatorial game library in Lean 4☆56Updated this week
- smart contracts deployed on Ethereum, one per skeleton☆11Mar 10, 2024Updated last year
- 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
- Web application to help tenants keep track of documentss related to their rental unit☆11Jan 7, 2023Updated 3 years ago
- WARNING: this requires a 32 bit build of node on osx! (tested only on osx)☆14Oct 24, 2011Updated 14 years ago
- plugin to check spacing between sentences☆10Sep 10, 2023Updated 2 years ago
- Create string patterns and derive things from them, such as regexes☆10Sep 19, 2024Updated last year
- Concept Application Server☆12Feb 22, 2026Updated last week
- A way to track my readings☆12Feb 13, 2026Updated 3 weeks ago
- Distributors - Unifying Parsers, Printers & Grammars☆64Feb 26, 2026Updated last week
- Fast, lightweight toy container system☆11Oct 18, 2020Updated 5 years ago
- A slack release robot (built with meteor)☆11Apr 7, 2015Updated 10 years ago
- Use network sockets together with the Haskell pipes library.☆25Apr 16, 2022Updated 3 years ago
- A Tessel-specific JavaScript driver for the TCS34725 RGB sensor☆10Oct 18, 2015Updated 10 years ago
- A simple Blaze Component for use with Flow Router's layout manager☆11Sep 23, 2019Updated 6 years ago
- Typeclasses in Typescript via prototype modification. Breaking best practices for fun and profit.☆13Nov 12, 2022Updated 3 years ago
- Short pieces of code that are "plays" - mostly haskell, sometimes math / other things☆13Jun 26, 2022Updated 3 years ago
- Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs☆14Jan 14, 2022Updated 4 years ago
- This is an example showing how to export and import functions between a Rust application and Rust WebAssembly.☆15Jul 1, 2020Updated 5 years ago
- Match style objects containing CSS Media Queries with React Native☆12Mar 5, 2019Updated 7 years ago
- WARNING: Constellation-SDI Product and repository is now DEPRECATED, please use Examind Community instead.☆16Mar 18, 2021Updated 4 years ago
- Sample code for ret2usr (and ret2dir) kernel attacks☆10Nov 23, 2016Updated 9 years ago