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
• GavinRay97 / rosetta-db
  ☆17Updated 2 years ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆215Updated 3 months ago
• lucavallin / gnaro
  A proto-database inspired by SQLite for educational purposes.
  ☆85Updated last year
• goblint / cil
  C Intermediate Language
  ☆146Updated 2 months ago
• hellas-ai / awesome-consensus
  A bibliography for protocol design
  ☆37Updated 2 months ago
• eatonphil / tinyprograms
  Tiny Programs: Rosetta code for implementations
  ☆56Updated last year
• aprell / compiler-potpourri
  Tools for a compilers course
  ☆125Updated this week
• pveentjer / Rust-based-ARM-emulator
  A bogus CPU emulator written in Rust.
  ☆52Updated 10 months ago
• blech-lang / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆68Updated 2 years ago
• ligurio / elle-cli
  The command-line frontend to transactional consistency checkers for black-box databases
  ☆28Updated 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 4 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• mpmilano / MixT
  Prototype Mixed-consistency transaction implementation
  ☆63Updated 7 years ago
• jfbastien / jit-talk
  ☆48Updated 4 years ago
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆203Updated 3 years ago
• MultiArrayQueue / MultiArrayQueue
  Multi-Array Queue program codes
  ☆75Updated 3 weeks ago
• ibara / pl0c
  Self-hosting PL/0 to C compiler to teach basic compiler construction from a practical, hands-on perspective.
  ☆153Updated 3 years ago
• grego / sumtype.h
  A mirror of https://git.sr.ht/~grego/sumtypes.h
  ☆76Updated 5 months ago
• danprince / webassembly-wizardry
  🪄 Tiny challenges for learning WebAssembly
  ☆68Updated 5 months ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated 6 months ago
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆64Updated last month
• pveentjer / cpp_cpu_emulator
  A program written in C++ that emulates a bogus CPU
  ☆21Updated last year
• ckirsch / book
  ☆119Updated 6 months ago
• julianhyde / morel
  Standard ML interpreter, with relational extensions, implemented in Java
  ☆39Updated this week
• ntietz / awol
  ☆21Updated last year
• ayende / libgavran
  Experimenting with persistence in C
  ☆184Updated 3 years ago
• caizixian / distillation
  Artifact for our ISPASS 2022 paper "Distilling the Real Cost of Production Garbage Collectors"
  ☆19Updated 2 years ago
• pronesto / DCC888
  ☆23Updated 3 weeks ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆71Updated 3 weeks ago