ucsd-cse231-w21 / chocopy-wasm-compiler
☆16Updated last year
Related projects ⓘ
Alternatives and complementary repositories for chocopy-wasm-compiler
- Semantic analysis framework☆14Updated 2 years ago
- Support for for students (Python)☆57Updated last week
- General purpose, statically typed, functional programming language☆14Updated 11 months ago
- Sam's Programming Language☆36Updated last week
- An menu/quick reference for Programming Language concepts☆20Updated 7 months ago
- Online BDD Simulation Tool☆17Updated 2 years ago
- A compiler, testing bed, and standard library for the Choral programming language.☆25Updated last week
- C Compiler written in Kotlin☆13Updated 6 months ago
- Edina - A simple stack-oriented compiled programming language.☆13Updated last year
- An IDE for JavaScript, without the "bad parts".☆30Updated last year
- L42 main project☆25Updated last week
- A system to amalgamate any features you want into any language you need☆26Updated 2 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆62Updated 5 months ago
- Edit by Example - automated file editing just from given examples.☆15Updated 2 years ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆53Updated 3 months ago
- Self-hosting compiler for the Grace programming language☆39Updated 5 months ago
- A work-in-progess programming language modeled after Ada and C++☆26Updated last year
- The Core Programming Language☆45Updated this week
- ☆27Updated last month
- A simple little programming language that could one day compile to JavaScript.☆22Updated 2 weeks ago
- Compiler project for Dave Beazley' Wabbit Language☆24Updated 2 years ago
- An attempt to write a compiler in Rust☆24Updated last year
- The Fuzion Language Implementation☆47Updated this week
- A port of ArithmeticExpressionCompiler from x86 to WebAssembly, so that the programs written in the language can run in a browser. The co…☆32Updated last month
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆24Updated last year
- The VerCors verification toolset for verifying parallel and concurrent software☆56Updated this week
- Symbolica's open-source symbolic execution engine.☆65Updated 2 months ago
- Parser, code model, navigable browser and VM for the SOM Smalltalk dialect☆25Updated 2 years ago
- Cerberus C semantics☆53Updated this week
- ARM assembler and simulator (written in F#) with elmish, React Monaco Editor, Electron & Fable☆27Updated last year