Example of using WONNX on the web
☆23May 11, 2023Updated 3 years ago
Alternatives and similar repositories for wonnx-wasm-example
Users that are interested in wonnx-wasm-example are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- webGL implementation of AMDs fidelityFX Super Resolution☆12Feb 21, 2024Updated 2 years ago
- Timing attack resistant type systems☆24May 13, 2015Updated 11 years ago
- A drop-in replacement for `cargo` which yet uses crates.io index☆16Dec 14, 2016Updated 9 years ago
- A hack to find types in Haskell codebases☆10Aug 15, 2015Updated 10 years ago
- A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly…☆10Jul 25, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 9 years ago
- Haskell numerical ODE solvers☆14Aug 21, 2017Updated 8 years ago
- nominal sets in haskell☆19Nov 18, 2018Updated 7 years ago
- ☆27Updated this week
- Checkpoint 401 Forward Auth Security Server.☆17Apr 25, 2026Updated last month
- collection of example documents for use within cocalc's library☆17Sep 11, 2025Updated 9 months ago
- Publicly available Container Images☆12May 19, 2026Updated 3 weeks ago
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆19Jun 21, 2015Updated 10 years ago
- Automatically manage /etc/hosts entries for local docker containers☆15May 15, 2026Updated 3 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- This repo contains the source code for https://pest.rs☆13Mar 12, 2026Updated 3 months ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago
- Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.☆14Jan 26, 2017Updated 9 years ago
- Full implementation of SmartOTPs: An air-gapped 2-factor authentication for smart-contract wallets.☆13Feb 23, 2026Updated 3 months ago
- Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)☆13Nov 19, 2017Updated 8 years ago
- Cut-pursuit algorithms, parallelized along components☆10Aug 5, 2020Updated 5 years ago
- Primal-Dual Operator Splitting Method for Conic Optimization☆20Nov 1, 2014Updated 11 years ago
- mobile international certificate of vaccination☆12Nov 9, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A CardDAV to IP phones converter for Node.js (AVM FRITZ!Box, Snom XCAP, Yealink)☆14Sep 30, 2025Updated 8 months ago
- API Server to control Cloud Browser with natural language instructions using AI.☆18Nov 10, 2024Updated last year
- Experiment-management framework in Haskell☆19Aug 12, 2015Updated 10 years ago
- Noir Computer☆16Jul 19, 2023Updated 2 years ago
- Simplify Pulumi authentication without having to configure secrets for your workflows.☆14Jun 1, 2026Updated 2 weeks ago
- "Currently playing" display for Spotify with play/pause/next/save controls☆13Apr 24, 2026Updated last month
- A bunch of NPM packages defined in the nix language.☆12May 25, 2021Updated 5 years ago
- Language independent, reproducible, absolute types.☆22Oct 11, 2025Updated 8 months ago
- ☆18Aug 31, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆11Nov 27, 2024Updated last year
- http://opensvn.wiimm.de/wii/branches/public/wiimms-iso-tools☆11Sep 27, 2024Updated last year
- A minimal WebRTC SFU Implementation☆20Jun 15, 2025Updated last year
- ☆11Nov 13, 2020Updated 5 years ago
- scheme->gba : a Scheme compiler targeting ARM assembly.☆13Aug 6, 2016Updated 9 years ago
- Portable interprocess communication (IPC) in Haskell☆14Jun 9, 2024Updated 2 years ago
- ☆11May 8, 2023Updated 3 years ago