☆18Mar 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:
- ☆12Jan 6, 2026Updated 4 months ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- Interpreter for a small subset of the Haskell programming language☆16May 3, 2026Updated last week
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 6 months ago
- McLulang: The message is the language☆12Aug 23, 2024Updated last year
- 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.
- (Hopefully) a compiler for my first language named "Pie"☆26Apr 28, 2026Updated last week
- A programming language with first-class modules and algebraic effects.☆14Dec 3, 2022Updated 3 years ago
- ☆12Jun 14, 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☆38Aug 17, 2023Updated 2 years ago
- A Framework for Model-Backed Generators. Backend for AutoPandas (https://autopandas.io)☆21Sep 3, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Experiments about intermediate representations in compilers☆28Aug 24, 2012Updated 13 years ago
- Printing a book with HTML/CSS☆20Nov 16, 2019Updated 6 years ago
- simple snapshot-style integration testing for commands☆75May 29, 2025Updated 11 months ago
- Efficient Sampling of SAT Solutions for Testing☆35Sep 20, 2019Updated 6 years ago
- A tree sitter implementation for COBOL☆12Aug 2, 2020Updated 5 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 5 months ago
- An IDE for JavaScript, without the "bad parts".☆29Jun 16, 2023Updated 2 years ago
- EeZee Language - Compiler Engineering Basics☆37Feb 23, 2026Updated 2 months ago
- A minimal in-place WebAssembly interpreter, written in Rust, almost without use of external dependencies☆37Apr 30, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Repository for (for now) filing bug reports about PLAI.☆15Jul 5, 2025Updated 10 months ago
- Fast subset and superset queries based on tries.☆11Jun 21, 2023Updated 2 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated last year
- Best of POPL (BOP) Reading Group Memoirs☆67Jan 27, 2022Updated 4 years ago
- an arcane Lisp dialect written in Go for fun and prosperity☆13Jan 7, 2026Updated 4 months ago
- Java JNI binding for mujoco physics system☆15Mar 18, 2025Updated last year
- A compiler from a subset of Rust to Brainfuck☆14Oct 2, 2024Updated last year
- JOPA: Java compiler in C++☆74Dec 6, 2025Updated 5 months ago
- 32-bit integer only RISC-V core, along with assembler, linker, and compiler from scratch☆23Sep 21, 2025Updated 7 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆16May 22, 2024Updated last year
- 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 last month
- ☆32Nov 21, 2024Updated last year
- ☆12Dec 16, 2024Updated last year
- Lox (http://www.craftinginterpreters.com/) interpreter in Lua☆22Jan 7, 2018Updated 8 years ago
- Materials for a training workshop on 'Introduction to Julia for Computational Science'☆12Jul 9, 2025Updated 10 months ago