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:
- McLulang: The message is the language☆12Updated last year
- Execute and document benchmarks reproducibly.☆95Updated 3 months ago
- Draw railroad diagrams of EBNF grammars. In browser and on command line☆73Updated 6 years ago
- "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"☆19Updated 4 years ago
- 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.☆66Updated last year
- Self-hosting compiler for the Grace programming language☆41Updated last year
- Type inference implementation in OCaml using Algorithm W☆10Updated 4 years ago
- Accompanying materials for "A Core Calculus for Documents"☆34Updated 2 years ago
- Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.☆12Updated 3 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated last year
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Updated last year
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆27Updated last month
- An menu/quick reference for Programming Language concepts☆20Updated last year
- A compiler, testing bed, and standard library for the Choral programming language.☆32Updated 3 weeks ago
- Experiments about intermediate representations in compilers☆26Updated 13 years ago
- An attribute grammar-based programming language for composable language extensions☆64Updated this week
- A small, statically typed, low-level programming language.☆22Updated last month
- Collapsing Towers of Interpreters☆91Updated 3 months ago
- The WIP book for CPSC 411☆66Updated 3 months ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆36Updated 8 years ago
- A playground for programming language ideas.☆20Updated 3 weeks ago
- Semantic analysis framework☆15Updated 3 years ago
- Hindley–Milner Type inferencing in C☆48Updated 3 years ago
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆47Updated 3 months ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆56Updated last year
- ☆11Updated 3 years ago
- A collection of lambda calculus interpreters and development tools☆16Updated 3 years ago
- The Functional Virtual Machine.☆14Updated 9 months ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 3 years ago
- Bottom Up Rewrite Generator☆29Updated 8 years ago