Wasm examples, brought to you by humans!
☆16Jan 7, 2021Updated 5 years ago
Alternatives and similar repositories for handwritten-wasm
Users that are interested in handwritten-wasm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆19Nov 3, 2021Updated 4 years ago
- An experimental lightning-fast Wasm-compiled levenshtein library.☆23Mar 6, 2023Updated 3 years ago
- Small cookbook examples of writing WebAssembly by hand in .wast format☆55Jan 6, 2023Updated 3 years ago
- Same as sqlite-tag but without the native sqlite3 module dependency☆19Feb 21, 2025Updated last year
- ☆23Sep 22, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Backup node_modules for all your npm based projects☆13Nov 29, 2016Updated 9 years ago
- A filter cascade implementation in rust☆15Apr 5, 2023Updated 2 years ago
- BuckleScript binding for JQuery☆10Nov 1, 2017Updated 8 years ago
- ☆13Oct 24, 2018Updated 7 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- My racket things☆22Feb 2, 2012Updated 14 years ago
- VS Code plugin for Lebab — Lebab transpiles your ES5 code to ES2015.☆21Apr 16, 2022Updated 3 years ago
- Small library that brings AndroidStudio-like string resources system in Go.☆11Jun 16, 2022Updated 3 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆14Updated this week
- Package alg provides access to Linux AF_ALG sockets for communication with the Linux kernel crypto API. MIT Licensed.☆16May 11, 2021Updated 4 years ago
- ☆15Oct 19, 2023Updated 2 years ago
- The third iteration of the Lavender programming language, implemented in Rust.☆12Apr 17, 2021Updated 4 years ago
- ANSI color terminal output module for CommonJS (including Node.js)☆40Dec 11, 2025Updated 3 months ago
- NES emulator written in Rust☆13Sep 9, 2025Updated 6 months ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆10Aug 27, 2022Updated 3 years ago
- A project which aim to help engineers to make proves easily☆14Mar 3, 2022Updated 4 years ago
- [dead] combinators for type conversion (serialization/deserialization) to/from several formats. See this blog post (outdated): http://ced…☆27Mar 9, 2019Updated 7 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- A notebook on compilers, programming languages, and other topics.☆19Mar 13, 2025Updated last year
- A cookbook for installing supermarket from Omnibus (deb, rpm) packages☆17Feb 11, 2026Updated last month
- ☆16May 28, 2018Updated 7 years ago
- The Boole Interactive Reasoning Assistant☆30May 9, 2014Updated 11 years ago
- For Publishing ScalaJS Package to npm☆14Jul 1, 2024Updated last year
- A Gradual Dependently-typed Language☆14Jun 26, 2019Updated 6 years ago
- Quick and dirty API to control JIMU robots over bluethoot☆14May 31, 2021Updated 4 years ago
- An sbt plugin to configure Java Flight Recorder☆10Jul 28, 2024Updated last year
- Fast and clean schedule generator for IUers!☆12Jan 5, 2023Updated 3 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Instead of one big, good idea to make a lot of money... a bunch of poor, small ideas to make a little money. I take pull requests.☆13Jan 30, 2021Updated 5 years ago
- ☆12Aug 6, 2024Updated last year
- WebAssembly Macro language and processor☆64Aug 7, 2019Updated 6 years ago
- HTTP specification in Coq, testable and verifiable☆18Feb 22, 2026Updated last month
- JS formatter for dprint Wasm plugins.☆40Jan 6, 2026Updated 2 months ago
- Repeat statsd packets to riemann☆17Jan 1, 2015Updated 11 years ago
- ☆26Jul 18, 2022Updated 3 years ago