webassembly wat text format to binary compiler
☆22Dec 7, 2022Updated 3 years ago
Alternatives and similar repositories for wat-compiler
Users that are interested in wat-compiler are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A tool that makes writing WebAssembly Text files easier.☆29Mar 17, 2023Updated 3 years ago
- Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI☆15Jun 7, 2023Updated 3 years ago
- A cross-browser polyfill for the W3C Custom Elements API☆11May 31, 2016Updated 10 years ago
- Use DOM APIs in AssemblyScript☆110Jun 16, 2024Updated 2 years ago
- Esbuild plugin for importing WebAssembly files☆15Jun 22, 2022Updated 4 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.
- SQLite compiled to WebAssembly through Emscripten.☆15Feb 12, 2019Updated 7 years ago
- A pretty printer for Lean 4☆10Mar 18, 2023Updated 3 years ago
- Fetch API bindings for AssemblyScript☆13Aug 10, 2023Updated 3 years ago
- ☆11Oct 29, 2021Updated 5 years ago
- ☆13Jan 23, 2022Updated 4 years ago
- v language tools for vim☆17Jun 2, 2021Updated 5 years ago
- Lean implementations of things found in Certified Programming with Dependent Types☆15Jun 5, 2022Updated 4 years ago
- sets up standard on a new module☆16Nov 29, 2016Updated 9 years ago
- ☆14Aug 1, 2022Updated 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.
- Type-safe SQL query wrappers☆12Jun 22, 2026Updated 4 months ago
- WebAssembly eXtended Text Format☆13Sep 20, 2022Updated 4 years ago
- AssemblyScript implementation of SHA256☆19Mar 18, 2022Updated 4 years ago
- parse_number_fxx test data☆13Apr 13, 2022Updated 4 years ago
- ☆35Aug 11, 2023Updated 3 years ago
- Prototype language for signal processing☆30Jul 6, 2026Updated 3 months ago
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated last year
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆16Feb 15, 2025Updated last year
- Github Profile에 레퍼럴을 달 수 있게 하는 프로젝트입니다.☆12Sep 23, 2025Updated last year
- 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.
- ☆11Jun 17, 2025Updated last year
- 2023 Momenti Study - Structure and Interpretation of Computer Programs: Rust Edition☆10Jan 4, 2023Updated 3 years ago
- DEPRECATED. A "type-safe" HTML DSL for JavaScript environments.☆12Mar 22, 2016Updated 10 years ago
- A Lean 4 library for iterators.☆15Dec 10, 2023Updated 2 years ago
- Unified API for ActivityPub-compatible server applications.☆13Aug 9, 2026Updated 2 months ago
- Daily kata from the Little Typer☆13Dec 28, 2018Updated 7 years ago
- Auditable js-to-wasm compiler, focusing on ultra-high performance & security☆26Sep 8, 2026Updated last month
- Better localStorage☆10Dec 25, 2021Updated 4 years ago
- A Lean 4 package for heavy numerical computations☆20Jan 16, 2022Updated 4 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Materials for the ESSLLI 2026 course "Introduction to Homotopy Type Theory / Univalent Foundations"☆15Sep 15, 2026Updated last month
- iOS开发学习vue，基于Vue.js的音乐播放器☆10Aug 1, 2018Updated 8 years ago
- Zig bindings and build system for https://github.com/wasm3/wasm3☆46Sep 14, 2022Updated 4 years ago
- ☆11Aug 18, 2025Updated last year
- A tiny isomorphic fast function for generating a cryptographically random hex string.☆16Jul 16, 2026Updated 3 months ago
- An actor implementation in Rust☆10Oct 12, 2025Updated last year
- TDOP parser https://tdop.github.io☆17Updated this week