Building a compiler to WASM step-by-step
☆15Mar 23, 2025Updated 11 months ago
Alternatives and similar repositories for wasm-calc
Users that are interested in wasm-calc are comparing it to the libraries listed below
Sorting:
- An experimental mutual induction tactic for Lean 4.☆23Jan 12, 2026Updated last month
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆15Sep 16, 2021Updated 4 years ago
- 👌 A smol functional language that targets other languages☆66Jan 17, 2024Updated 2 years ago
- This is a physical build indicator made with an arduino, a tri-color LED, and johnny-five☆40Oct 19, 2013Updated 12 years ago
- A Python script to seamlessly convert LastPass CSV exports into the format required by Apple's Passwords app. Simplifies migrating your l…☆11Oct 17, 2024Updated last year
- WIP stack language that uses regex for control flow☆42Oct 10, 2023Updated 2 years ago
- Closure calculus implementation☆12Jun 25, 2019Updated 6 years ago
- Parallel Self-Adjusting Computation☆15Jul 5, 2021Updated 4 years ago
- The Titan programming language.☆12Apr 16, 2024Updated last year
- ☆10Oct 1, 2024Updated last year
- Resources for Learning PLT Redex☆13Jul 24, 2021Updated 4 years ago
- Kustomize dhall generator plugin☆11Sep 16, 2019Updated 6 years ago
- A scheduler independent blocking mechanism☆19Feb 15, 2024Updated 2 years ago
- Experimental parallel and concurrent OCaml☆14Jan 28, 2023Updated 3 years ago
- Textbook on non-classical logics☆13Jun 25, 2025Updated 8 months ago
- thread-local storage for OCaml☆17Jan 13, 2025Updated last year
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Dec 19, 2023Updated 2 years ago
- A Swift package to serialize and deserialize various data types into an external representation.☆10May 28, 2024Updated last year
- A functional programming language☆15Jul 23, 2025Updated 7 months ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 4 years ago
- ☆17Feb 10, 2026Updated 3 weeks ago
- ☆10Nov 26, 2020Updated 5 years ago
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- Tool to convert literate code between styles or to code.☆11Jun 4, 2019Updated 6 years ago
- A collaborative bibliography of papers related to property-based testing☆16Feb 27, 2026Updated last week
- Pipe audio to discord, unix style☆13Jan 30, 2024Updated 2 years ago
- ☆12May 22, 2016Updated 9 years ago
- A collection of old versions of the Haskell Report☆13Aug 17, 2017Updated 8 years ago
- A stack-based, interpreted programming language implemented in livescript.☆10Sep 11, 2016Updated 9 years ago
- Formalization of CBPV extended with effect and coeffect tracking☆14Aug 30, 2024Updated last year
- A Simple Lisp LLVM Compiler. Implemented in Swift☆12Oct 18, 2016Updated 9 years ago
- A library for incremental computations☆17Feb 22, 2026Updated last week
- Stop execution with rage.☆13May 26, 2018Updated 7 years ago
- EventMachine-driven Android Cloud to Device Messaging Framework (C2DM)☆17Apr 26, 2013Updated 12 years ago
- Parser for es6 and es7.☆10Nov 12, 2024Updated last year
- Resources for configuring VSCodium for writing in LaTeX, Markdown, and Python.☆18Nov 6, 2025Updated 4 months ago
- Highly configurable & extensible automatically sized input field built with hooks.☆14Dec 28, 2023Updated 2 years ago
- Framework for benchmarking on multiple cores on current-bench☆14Jun 14, 2025Updated 8 months ago
- Automating web browser using Selenium/ Python.☆12Apr 11, 2024Updated last year