Alternatives and similar repositories for class

Users that are interested in class are comparing it to the libraries listed below

• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆219Updated 4 months ago
• lucavallin / gnaro
  A proto-database inspired by SQLite for educational purposes.
  ☆85Updated last month
• danprince / webassembly-wizardry
  🪄 Tiny challenges for learning WebAssembly
  ☆68Updated 7 months ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆242Updated 2 weeks ago
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated last year
• goblint / cil
  C Intermediate Language
  ☆148Updated last week
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆203Updated 3 years ago
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆56Updated last year
• ckirsch / book
  ☆120Updated 8 months ago
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆422Updated 3 months ago
• sampsyo / flatcalc
  world's worst interpreter
  ☆62Updated 3 months ago
• aprell / compiler-potpourri
  Tools for a compilers course
  ☆125Updated 2 weeks ago
• sunxfancy / vscode-llvm
  VSCode LLVM Compiler Explorer
  ☆230Updated last year
• keleshev / compiling-to-assembly-from-scratch
  Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas
  ☆333Updated 3 months ago
• billziss-gh / imap
  Integer Map Data Structure
  ☆131Updated 2 years ago
• mrnugget / data_structures
  Implementations of common data structures in C
  ☆15Updated 3 years ago
• JasonSteving99 / claro-lang
  Claro Lang
  ☆144Updated last year
• hellas-ai / awesome-consensus
  A bibliography for protocol design
  ☆39Updated 3 months ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆148Updated last year
• jamii / jams
  ☆183Updated 2 months ago
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆179Updated 3 months ago
• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆142Updated 5 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆75Updated 2 years ago
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 2 years ago
• ibara / pl0c
  Self-hosting PL/0 to C compiler to teach basic compiler construction from a practical, hands-on perspective.
  ☆155Updated 3 years ago
• sampsyo / bril
  an educational compiler intermediate representation
  ☆683Updated last month
• mrkline / concurrency-primer
  The basics of low-level concurrency in a sub-30 minute read
  ☆240Updated 4 years ago
• mgaudet / CompilerJobs
  A listing of compiler, language and runtime teams for people looking for jobs in this area
  ☆602Updated 2 months ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆71Updated 2 months ago