|
|
Zig |
13 |
Wasm binary parser for Zig |
Mar 02, 2023 |
|
|
Swift |
382 |
Swift Codable-like interfaces for binary representations. |
May 09, 2023 |
|
|
Go |
9 |
Library that helps verifying/updating go binary with new version |
Jan 19, 2022 |
|
|
JavaScript |
37 |
Compiled TypeScript. Generates Go, Swift, Kotlin, WASM, Binary |
Jul 29, 2022 |
|
|
JavaScript |
49 |
Serverless Wasm - A lightweight Node.js application for deploying and executing WebAssembly(Wasm) binary-code via HTTP |
Aug 19, 2022 |
|
|
None |
9 |
The ABIs (Application Binary Interfaces) for the Sablier money streaming protocol |
Mar 28, 2023 |
|
|
Rust |
4 |
A Rust library for remapping WASM binaries by cross referencing it with a separate known … |
Jan 21, 2023 |
|
|
None |
28 |
🧳 Single-binary packaging for Ruby applications that supports native and Wasm targets |
Jun 08, 2022 |
|
|
Python |
175 |
Metrics for verifying forecasts |
Apr 20, 2023 |
|
|
Go |
3 |
Library for verifying license |
Nov 24, 2021 |
|
|
JavaScript |
3 |
Site coded in C, using emscirpten for generating JS code and a WASM binary. |
Jun 05, 2022 |
|
|
Dafny |
9 |
Verifying OpenTitan |
Apr 24, 2022 |
|
|
JavaScript |
3 |
JavaScript tool to convert WebAssembly standard textual format (wat) to binary (wasm) |
Apr 03, 2023 |
|
|
Python |
5 |
Tools for verifying vmspec compliance |
Dec 18, 2017 |
|
|
Python |
45 |
Python library for verifying Blockcerts |
Jul 06, 2022 |
|
|
Shell |
9 |
Verifying x86 semantics |
Aug 25, 2021 |
|
|
None |
2 |
awe-wasm = awesome WASM - repo for tracking WASM related resources I find |
Mar 12, 2024 |
|
|
TypeScript |
18 |
denoio is a Go package to bind Deno and Go(Wasm)'s I/O interfaces. |
Mar 07, 2023 |
|
|
Agda |
5 |
Agda library for verifying neural networks. |
Jul 09, 2022 |
|
|
F* |
12 |
F* library for verifying neural networks. |
Jun 19, 2022 |
|
|
Ruby |
8 |
Cucumber steps for verifying Scout metrics |
Feb 18, 2018 |
|
|
C# |
2 |
Adds Verify support for verifying Brighter. |
Apr 10, 2023 |
|
|
Python |
2 |
REST API for verifying forum membership |
Feb 25, 2020 |
|
|
Ruby |
2 |
Rack Middleware for verifying signed requests |
Nov 09, 2016 |
|
|
JavaScript |
2 |
Lambda functions for verifying phone numbers |
Sep 03, 2020 |
|
|
TypeScript |
98 |
Javascript library for verifying Blockcerts Certificates |
Jul 23, 2022 |
|
|
Python |
8 |
A framework for verifying PKI structures |
May 05, 2023 |
|
|
Go |
3 |
Go library for verifying SFV files |
Dec 01, 2021 |
|
|
JavaScript |
35 |
RNNoise for WASM |
May 06, 2023 |
|
|
JavaScript |
2 |
WASM for godogpaw. |
Aug 02, 2021 |
|
|
Go |
503 |
Karmem is a fast binary serialization format, faster than Google Flatbuffers and optimized for TinyGo … |
Sep 01, 2022 |
|
|
C++ |
3 |
WASM Port of PALISADE Wasm |
Apr 20, 2023 |
|
|
Python |
4 |
Firmware signing/verifying process |
Aug 31, 2021 |
|
|
Coq |
7 |
Verifying the ZX Calculus |
Mar 25, 2023 |
|
|
Python |
3 |
Self verifying memory chain |
Dec 11, 2018 |
|
|
None |
3 |
Verifying recipients of OpenBadges |
Sep 01, 2020 |
|
|
Rust |
6 |
WASM runtime for Deku and Michelson-to-WASM compiler |
Nov 17, 2022 |
|
|
TypeScript |
4 |
Buidler plugin for verifying contracts on Etherscan |
Dec 22, 2021 |
|
|
Haskell |
5 |
Liquid Haskell library for verifying neural networks. |
May 27, 2022 |
|
|
SystemVerilog |
6 |
UVM testbench for verifying the Pulpino SoC |
May 22, 2022 |
|
|
Python |
7 |
Tools and utilities for verifying string localization |
Feb 28, 2022 |
|
|
C# |
8 |
Adds Verify support for verifying Moq types. |
Jun 15, 2022 |
|
|
Ruby |
9 |
Tool for verifying backups and comparing directories. |
Apr 18, 2022 |
|
|
C |
4 |
Tests for verifying compliance of RMM implementations |
Apr 13, 2023 |
|
|
TypeScript |
2 |
Tiny lib for verifying Cloudflare Access JWTs. |
Dec 20, 2022 |
|
|
Go |
35 |
Quality tool for kafka, verifying kafka ops |
Jun 16, 2022 |
|
|
C# |
2 |
Adds Verify support for verifying FakeItEasy types. |
Feb 03, 2023 |
|
|
Rust |
2 |
A tool for verifying prospective Testnet validators |
Jan 22, 2023 |
|
|
Python |
2 |
Python library for verifying iOS AppAttest attestations |
Jun 17, 2023 |
|
|
Python |
2 |
Bot for verifying MediaWiki account on Telegram |
Aug 08, 2023 |