ucsd-cse231-w21 / chocopy-wasm-compilerLinks
☆17Updated 2 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
Sorting:
- (Hopefully) a compiler for my first language named "Pie"☆22Updated last week
- McLulang: The message is the language☆12Updated last year
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Updated last month
- Ahead-of-time compiler for Chocopy, a statically typed subset of Python 3, built in Python 3, targeting CIL/CLR, JVM, LLVM IR, and WASM.☆67Updated 2 months ago
- COOL (Classroom Object Oriented Language) compiler with LLVM backend☆33Updated 5 years ago
- ☆16Updated 3 years ago
- Hindley–Milner Type inferencing in C☆48Updated 3 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Updated 2 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated this week
- A work-in-progess programming language modeled after Ada and C++☆25Updated 3 years ago
- ☆11Updated 4 years ago
- ☆38Updated 4 years ago
- Compiler Backend for LSTS (Typed Macro Assembler)☆37Updated this week
- Self-hosting compiler for the Grace programming language☆42Updated last year
- A small, statically typed, low-level programming language.☆24Updated 4 months ago
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- Bottom Up Rewrite Generator☆29Updated 8 years ago
- The Functional Virtual Machine.☆14Updated last year
- "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"☆19Updated 5 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- A small inline caching demo.☆15Updated 3 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33Updated 8 months ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆28Updated 5 months ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Updated 4 years ago
- A simple interpreter featuring a tracing JIT☆16Updated 14 years ago
- My personal website☆104Updated last week
- Draw railroad diagrams of EBNF grammars. In browser and on command line☆77Updated 7 years ago
- Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.☆12Updated 3 years ago
- ☆26Updated 3 years ago
- Type inference implementation in OCaml using Algorithm W☆10Updated 4 years ago