utah-cs4470-sp23 / classLinks
All course materials for CS 4470 (Spring 2023)
☆26Updated last year
Alternatives and similar repositories for class
Users that are interested in class are comparing it to the libraries listed below
Sorting:
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- A bibliography for protocol design☆38Updated 3 months ago
- Tools for a compilers course☆125Updated 3 weeks ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆232Updated 2 weeks ago
- Learn TLA+ for free! No prior experience necessary!☆215Updated 4 months ago
- A proto-database inspired by SQLite for educational purposes.☆85Updated 2 weeks ago
- 🪄 Tiny challenges for learning WebAssembly☆68Updated 6 months ago
- ☆17Updated 2 years ago
- B-tree generator for C☆138Updated 2 months ago
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas☆329Updated 2 months ago
- A compiler for Standard ML, somewhat☆203Updated 3 years ago
- ☆119Updated 7 months ago
- Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.☆131Updated 2 weeks ago
- ☆85Updated 3 years ago
- Standard ML interpreter, with relational extensions, implemented in Java☆40Updated this week
- C Intermediate Language☆147Updated last week
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- A bogus CPU emulator written in Rust.☆52Updated 11 months ago
- Tiny Programs: Rosetta code for implementations☆56Updated last year
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆142Updated 4 years ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆55Updated last year
- A toy superoptimizer for a limited assembly language.☆58Updated 2 years ago
- Experimenting with persistence in C☆184Updated 3 years ago
- A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.☆203Updated 3 years ago
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated last year
- A modern supercompiler for call-by-value functional languages☆418Updated 2 months ago
- Writing a SQL database, take two: Zig and RocksDB☆156Updated 2 years ago
- Research WebAssembly Engine☆439Updated this week
- Web page for IU Compiler Course for Fall 2020☆132Updated 4 years ago
- A curated list of TLA+ resources.☆147Updated last year