danieljharvey / wasm-calcView external linksLinks
Building a compiler to WASM step-by-step
☆15Mar 23, 2025Updated 10 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:
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated last year
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆15Sep 16, 2021Updated 4 years ago
- A simple multithreaded chat server in haskell☆35Jul 13, 2019Updated 6 years ago
- A highly experiment portable runtime☆21Apr 11, 2024Updated last year
- 👌 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
- A collection of old versions of the Haskell Report☆13Aug 17, 2017Updated 8 years ago
- Parallel Self-Adjusting Computation☆15Jul 5, 2021Updated 4 years ago
- Textbook on non-classical logics☆13Jun 25, 2025Updated 7 months ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 4 years ago
- Kustomize dhall generator plugin☆11Sep 16, 2019Updated 6 years ago
- Displays interlinear gloss in a more readable way with HTML.☆10Apr 2, 2019Updated 6 years ago
- Pipe audio to discord, unix style☆13Jan 30, 2024Updated 2 years ago
- Automatic Rails validations from your database☆62Jun 26, 2014Updated 11 years ago
- Experimental parallel and concurrent OCaml☆14Jan 28, 2023Updated 3 years ago
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- Closure calculus implementation☆12Jun 25, 2019Updated 6 years ago
- Resources for Learning PLT Redex☆13Jul 24, 2021Updated 4 years ago
- Resources for configuring VSCodium for writing in LaTeX, Markdown, and Python.☆17Nov 6, 2025Updated 3 months ago
- A scheduler independent blocking mechanism☆19Feb 15, 2024Updated last year
- ☆10Nov 26, 2020Updated 5 years ago
- ☆12May 22, 2016Updated 9 years ago
- The Titan programming language.☆12Apr 16, 2024Updated last year
- thread-local storage for OCaml☆17Jan 13, 2025Updated last year
- A collaborative bibliography of papers related to property-based testing☆16Feb 4, 2026Updated last week
- EventMachine-driven Android Cloud to Device Messaging Framework (C2DM)☆17Apr 26, 2013Updated 12 years ago
- ☆12Nov 6, 2025Updated 3 months ago
- ☆12Sep 22, 2020Updated 5 years ago
- A contextual, high-performance Git blame UI for Emacs.☆28Feb 3, 2026Updated last week
- A stack-based, interpreted programming language implemented in livescript.☆10Sep 11, 2016Updated 9 years ago
- A Modeling Notation ꕤ☆15Nov 15, 2025Updated 2 months ago
- Experimental polykinds implementation☆15Aug 22, 2019Updated 6 years ago
- Parser for es6 and es7.☆10Nov 12, 2024Updated last year
- Relational implementation of the CESK machine☆21Jul 15, 2013Updated 12 years ago
- This repository contains the reference implementation of the additive autoencoder. The technique is derived and experiments summarized in…☆13Oct 13, 2022Updated 3 years ago
- A simple cache for Swift☆16May 3, 2025Updated 9 months ago
- Stop execution with rage.☆13May 26, 2018Updated 7 years ago