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
- Same as sqlite-tag but without the native sqlite3 module dependency☆19Feb 21, 2025Updated last year
- Small cookbook examples of writing WebAssembly by hand in .wast format☆55Mar 28, 2026Updated 5 months ago
- A filter cascade implementation in rust☆15Apr 5, 2023Updated 3 years ago
- Backup node_modules for all your npm based projects☆13Nov 29, 2016Updated 9 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.
- Script and library to wait for a DNS authority server to get its configuration.☆15Oct 21, 2021Updated 4 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Simple repo to finetune an LLM hosted on Hugging Face by creating a LORA☆10Dec 20, 2023Updated 2 years ago
- Write data to web-audio☆11Mar 14, 2021Updated 5 years ago
- ☆13Oct 24, 2018Updated 7 years ago
- Minecraft-like OpenGL world renderer based on diamond-square algorithm.☆21Feb 21, 2021Updated 5 years ago
- Kafka plugin for KairosDB☆11Feb 28, 2018Updated 8 years ago
- ☆12Apr 2, 2026Updated 5 months ago
- Source code for all my competitive programming activities☆13Dec 28, 2024Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Small library that brings AndroidStudio-like string resources system in Go.☆11Jun 16, 2022Updated 4 years ago
- A lightweight yet full-featured package for handling events from the terminal.☆12Aug 21, 2023Updated 3 years ago
- Z80 diassembler/assembler/emulator in golang☆12Oct 28, 2024Updated last year
- Quick and dirty API to control JIMU robots over bluethoot☆14May 31, 2021Updated 5 years ago
- ☆16Oct 19, 2023Updated 2 years ago
- The third iteration of the Lavender programming language, implemented in Rust.☆12Apr 17, 2021Updated 5 years ago
- ☆16Nov 9, 2017Updated 8 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 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.
- Beautify HTML, JS, CSS, and JSON in the browser or in Node.js!☆10Jul 24, 2026Updated last month
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆11Aug 27, 2022Updated 4 years ago
- Messing about with a Cricut machine. This stuff is probably proprietary code, so I'm likely to get sued by doing this.☆14Dec 17, 2013Updated 12 years ago
- A Cheat Sheet for Coq Developers who want to try LeanProver☆19Jul 25, 2023Updated 3 years ago
- imaplet revamp with Lwt☆18Aug 9, 2017Updated 9 years ago
- Program verification with F* course materials☆12Jul 6, 2019Updated 7 years ago
- Archived from chef-cookbooks/supermarket-omnibus-cookbook - A cookbook for installing supermarket from Omnibus (deb, rpm) packages☆17Apr 17, 2026Updated 4 months ago
- My GitHub profile page☆14Dec 26, 2025Updated 8 months ago
- SDK for creating waPC WebAssembly Guest Modules in Zig☆14Dec 27, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A notebook on compilers, programming languages, and other topics.☆19Mar 13, 2025Updated last year
- Facade for the codemirror☆10Jul 15, 2017Updated 9 years ago
- Fast and clean schedule generator for IUers!☆12Jan 5, 2023Updated 3 years ago
- ☆16May 28, 2018Updated 8 years ago
- For Publishing ScalaJS Package to npm☆14Jul 1, 2024Updated 2 years ago
- An Interpreted Languages Written in Go☆14May 23, 2017Updated 9 years ago
- A Gradual Dependently-typed Language☆14Jun 26, 2019Updated 7 years ago