A small malloc implementation, for use in WebAssembly
☆193Dec 19, 2023Updated 2 years ago
Alternatives and similar repositories for walloc
Users that are interested in walloc are comparing it to the libraries listed below
Sorting:
- The implementation of NameResolution.jl for Julia language.☆29Mar 17, 2022Updated 3 years ago
- A simple tool that converts wasm64 binaries to wasm32 ones☆31Jan 17, 2025Updated last year
- Raw Jai Bindings for wgpu_native.☆14Mar 18, 2025Updated 11 months ago
- C runtime library (libc) for WebAssembly☆34May 19, 2024Updated last year
- Portable Event Library☆18Apr 28, 2025Updated 10 months ago
- Tools to create filesystem images from an fspec filesystem specification.☆16Apr 21, 2024Updated last year
- Fintie Sets in Cubical Agda☆12Aug 30, 2019Updated 6 years ago
- Experiments with Realizability in Univalent Type Theory☆19Oct 21, 2024Updated last year
- Analysis of Racket code base☆14Aug 27, 2020Updated 5 years ago
- MOVED TO CODEBERG minimal live coding dsp with assemblyscript☆16Aug 23, 2025Updated 6 months ago
- ☆15May 5, 2023Updated 2 years ago
- my phd thesis☆26Aug 7, 2024Updated last year
- My cool website, built with App Router☆16Updated this week
- Document scoped to discussion of Universal Strings for WebAssembly☆23Jan 31, 2023Updated 3 years ago
- ☆18May 10, 2022Updated 3 years ago
- Translates WebAssembly modules to portable C☆806Sep 30, 2025Updated 5 months ago
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆150Sep 23, 2025Updated 5 months ago
- Bit - A simple yet powerful build tool☆17Mar 1, 2026Updated last week
- ☆18May 1, 2020Updated 5 years ago
- A Cheat Sheet for Coq Developers who want to try LeanProver☆19Jul 25, 2023Updated 2 years ago
- C collections. Easy to build, boring algorithms. Dumb is good.☆53Nov 27, 2022Updated 3 years ago
- EBML parser☆13Jun 8, 2023Updated 2 years ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆35Oct 8, 2024Updated last year
- ynetd: a small (< 400 lines of C) server for binding programs to TCP ports☆20Nov 24, 2024Updated last year
- A package for your code to understand scoping rules(including mutability of free variables).☆18Dec 10, 2021Updated 4 years ago
- WASI libc implementation for WebAssembly☆990Updated this week
- A programming language for Audulus nodes☆38Jan 23, 2026Updated last month
- WebAssembly grammars for tree-sitter☆39Sep 18, 2023Updated 2 years ago
- Small but complete dynamic Forth Interpreter/Compiler for and in WebAssembly☆579Jul 15, 2025Updated 7 months ago
- An R7RS Scheme implemented in WebAssembly☆182May 2, 2023Updated 2 years ago
- A glTF parser/loader in Jai.☆17Aug 18, 2024Updated last year
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically☆21Jan 30, 2024Updated 2 years ago
- ☆21Sep 8, 2021Updated 4 years ago
- Implement a Lisp, in C, from scratch, no libs☆83Jun 22, 2022Updated 3 years ago
- A more standards compliant C library written in M2-Planet's C subset☆21Feb 9, 2026Updated last month
- Lambda normalization and conversion checking benchmarks for various implementations☆59Apr 15, 2021Updated 4 years ago
- Precursor to WASI libc.☆37Aug 22, 2022Updated 3 years ago
- yet another small DOM component library☆35Dec 7, 2022Updated 3 years ago
- Test materials for getting JIT support for wizer☆122Oct 4, 2022Updated 3 years ago