☆17Mar 5, 2023Updated 3 years ago
Alternatives and similar repositories for chocopy-wasm-compiler
Users that are interested in chocopy-wasm-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:
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- Interpreter for a small subset of the Haskell programming language☆16Dec 11, 2025Updated 4 months ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 5 months ago
- McLulang: The message is the language☆12Aug 23, 2024Updated last year
- (Hopefully) a compiler for my first language named "Pie"☆26Mar 13, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A programming language with first-class modules and algebraic effects.☆14Dec 3, 2022Updated 3 years ago
- Semantic Crash Bucketing☆16Sep 8, 2020Updated 5 years ago
- Cornell INFO 3350 Fall 2023☆11Dec 5, 2023Updated 2 years ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Dec 30, 2023Updated 2 years ago
- ☆22Sep 28, 2022Updated 3 years ago
- ☆17Jul 11, 2025Updated 9 months ago
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 2 years ago
- A lighweight and parallel snapshot testing framework in rust☆37Aug 17, 2023Updated 2 years ago
- A Framework for Model-Backed Generators. Backend for AutoPandas (https://autopandas.io)☆21Sep 3, 2021Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Experiments about intermediate representations in compilers☆28Aug 24, 2012Updated 13 years ago
- ☆27Mar 16, 2023Updated 3 years ago
- Printing a book with HTML/CSS☆20Nov 16, 2019Updated 6 years ago
- non-C programming language interfaces to the Binaryen library☆12Mar 4, 2026Updated last month
- simple snapshot-style integration testing for commands☆75May 29, 2025Updated 10 months ago
- data & analyze data from Citi Bike's GBFS real-time data feed☆11Mar 26, 2024Updated 2 years ago
- A benchmark suite for Scalable Diverse Model Selection for Accessible Transfer Learning from our NeurIPS 2021 paper.☆15Dec 14, 2022Updated 3 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 5 months ago
- Small language that compiles to Python37 bytecode☆14Jul 15, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- EeZee Language - Compiler Engineering Basics☆36Feb 23, 2026Updated last month
- Add default values to stubs☆19Apr 6, 2026Updated last week
- A minimal in-place WebAssembly interpreter, written in Rust, almost without use of external dependencies☆36Apr 10, 2026Updated last week
- Repository for (for now) filing bug reports about PLAI.☆15Jul 5, 2025Updated 9 months ago
- Python type definitions for web APIs☆23Apr 6, 2026Updated last week
- Fast subset and superset queries based on tries.☆11Jun 21, 2023Updated 2 years ago
- React Redux web application for viewing, filtering, & comparing trends of automobile collision data published by the NYPD.☆19Oct 6, 2025Updated 6 months ago
- Best of POPL (BOP) Reading Group Memoirs☆67Jan 27, 2022Updated 4 years ago
- Java JNI binding for mujoco physics system☆14Mar 18, 2025Updated last year
- 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.
- A list of articles outside of the official MLIR docs that I've found useful for learning MLIR☆11Aug 16, 2023Updated 2 years ago
- 32-bit integer only RISC-V core, along with assembler, linker, and compiler from scratch☆23Sep 21, 2025Updated 6 months ago
- A Python type checker☆30Updated this week
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated last year
- Embeddable WebAssembly Interpreter for the JVM, written in Kotlin☆41Apr 19, 2021Updated 5 years ago
- Easily switch toggle to light and dark theme for your Docsify, customizable and works in any CSS themes.☆11Jul 13, 2025Updated 9 months ago
- FFmpeg DSL for creative coding☆63Mar 27, 2026Updated 3 weeks ago