☆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:
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 5 years ago
- ☆10Apr 28, 2025Updated last year
- A mutation testing tool designed to work with large C++ (and C) codebases.☆15Oct 8, 2026Updated 3 weeks ago
- McLulang: The message is the language☆12Aug 23, 2024Updated 2 years ago
- Benchmark for evaluation of LLMs on concurrency bug fixing tasks☆14Mar 11, 2026Updated 7 months ago
- 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.
- Archived legacy Filibuster repository. New Filibuster release in preparation: https://filibuster.cloud. Filibuster application corpus.☆10Sep 28, 2022Updated 4 years ago
- ☆12Jun 14, 2023Updated 3 years ago
- Compiler project for Dave Beazley' Wabbit Language☆30Apr 24, 2022Updated 4 years ago
- Interpreter for a small subset of the Haskell programming language☆17May 9, 2026Updated 5 months ago
- Cornell INFO 3350 Fall 2023☆11Dec 5, 2023Updated 2 years ago
- StAtutory Reasoning Assessment☆17Dec 8, 2022Updated 3 years ago
- ☆17Jul 11, 2025Updated last year
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 3 years ago
- A tool to generate stubs for Python packages using numpydoc-format docstrings and monkeytype traces☆13Mar 14, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Dec 30, 2023Updated 2 years ago
- ☆22Sep 28, 2022Updated 4 years ago
- A Framework for Model-Backed Generators. Backend for AutoPandas (https://autopandas.io)☆21Sep 3, 2021Updated 5 years ago
- A hobby language that compiles to WebAssembly☆29Jun 9, 2025Updated last year
- Type analysis of a simplified Ruby-like IR☆15Jan 26, 2026Updated 9 months ago
- Property-based testing for Java, built on Hypothesis☆27Oct 22, 2026Updated 2 weeks ago
- Java Hello World, LLVM Edition☆12Nov 12, 2025Updated 11 months ago
- simple snapshot-style integration testing for commands☆77May 29, 2025Updated last year
- non-C programming language interfaces to the Binaryen library☆12May 23, 2026Updated 5 months 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.
- ☆29Mar 16, 2023Updated 3 years ago
- based python type checking and a Python-like language that transpiles to pure Python☆17Updated this week
- algebraic typechecking and elaboration of type systems☆13Jan 25, 2025Updated last year
- OpenDST - Deterministic Simulation Testing for Java☆28Jul 16, 2026Updated 3 months ago
- Infinitely configurable integrated IDE and text editor☆127Oct 14, 2024Updated 2 years ago
- Efficient Sampling of SAT Solutions for Testing☆34Sep 20, 2019Updated 7 years ago
- Hierarchical Delta Debugging Framework☆60Aug 24, 2026Updated 2 months ago
- Code and Materials for an interactive online course on Logic (part of Strathclyde's CS208 Logic and Algorithms module)☆15Updated this week
- ☆10Apr 20, 2026Updated 6 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Statically-checked Lisp for Nix☆11May 23, 2026Updated 5 months ago
- ☆10Sep 18, 2026Updated last month
- Pioupiou 🐤, the nano PPL☆11May 25, 2022Updated 4 years ago
- GUI for editing nix files☆10May 13, 2026Updated 5 months ago
- Best of POPL (BOP) Reading Group Memoirs☆68Jan 27, 2022Updated 4 years ago
- A simple C compiler I wrote to demonstrate how to write simple compilers. Currently targets x86_64☆31Jun 27, 2025Updated last year
- Add default values to stubs☆19Oct 7, 2026Updated last month