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
- This is the official implementation of our neural-network-based fast diffuse room impulse response generator (FAST-RIR) for generating r…☆12Nov 30, 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 4 months ago
- a match-3 game written in JavaScript with Phaser.☆13Mar 5, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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
- 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☆11Dec 20, 2023Updated 2 years ago
- Exercises for the Dafny Tutorial☆14May 21, 2018Updated 8 years ago
- ☆20Jan 11, 2021Updated 5 years ago
- A Javascript port of the Craft constraint-based random number generator☆19Mar 21, 2016Updated 10 years ago
- ☆12Apr 2, 2026Updated 3 months ago
- AI Agents on 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.
- Source code for all my competitive programming activities☆13Dec 28, 2024Updated last year
- ☆42Nov 8, 2014Updated 11 years ago
- Universal Map Generator for roguelikes and other games☆15May 15, 2021Updated 5 years ago
- Small library that brings AndroidStudio-like string resources system in Go.☆11Jun 16, 2022Updated 4 years ago
- 3D metaballs effect in a continuously changing shaped window☆13Feb 8, 2026Updated 5 months ago
- Experiments with some ways of automating reasoning in lean 4☆19Apr 20, 2024Updated 2 years ago
- being the materials from my YOW LambdaJam 2016 talk☆11Jun 11, 2016Updated 10 years ago
- Z80 diassembler/assembler/emulator in golang☆11Oct 28, 2024Updated last year
- Quick and dirty API to control JIMU robots over bluethoot☆14May 31, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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
- Beautify HTML, JS, CSS, and JSON in the browser or in Node.js!☆10Updated this week
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆11Aug 27, 2022Updated 3 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
- NES emulator written in Rust☆13Sep 9, 2025Updated 10 months ago
- imaplet revamp with Lwt☆19Aug 9, 2017Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 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 3 months ago
- The Hook Programming Language☆118Jan 11, 2025Updated last year
- My GitHub profile page☆14Dec 26, 2025Updated 7 months ago
- A tiny library for launching compute shaders on D3D11, Metal and Vulkan☆26Dec 27, 2020Updated 5 years ago
- A notebook on compilers, programming languages, and other topics.☆19Mar 13, 2025Updated last year
- Official repository for the paper Singing Voice Graph Modeling for SingFake Detection (Interspeech 2024).☆24Sep 19, 2025Updated 10 months ago