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
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆48Updated last month
• harp-lab / gdlog
  ☆79Updated 3 months ago
• jfbastien / jit-talk
  ☆47Updated 4 years ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆33Updated 2 weeks ago
• AZHenley / superoptimizer
  A toy superoptimizer for a limited assembly language.
  ☆56Updated last year
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆44Updated 2 years ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 5 months ago
• sampsyo / flatcalc
  world's worst interpreter
  ☆56Updated 6 months ago
• GavinRay97 / rosetta-db
  ☆17Updated 2 years ago
• ashutoshbsathe / yacv
  Yet Another Compiler Visualizer
  ☆158Updated 3 years ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆100Updated 5 months ago
• aprell / compiler-potpourri
  Tools for a compilers course
  ☆110Updated last month
• danprince / webassembly-wizardry
  🪄 Tiny challenges for learning WebAssembly
  ☆66Updated 3 weeks ago
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆126Updated 2 weeks ago
• grego / sumtype.h
  A mirror of https://git.sr.ht/~grego/sumtypes.h
  ☆76Updated 2 weeks ago
• rtheunissen / bst
  Exploring the design space of binary search trees
  ☆43Updated 6 months ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆72Updated this week
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 2 years ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆11Updated 9 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 …
  ☆135Updated 4 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆83Updated 9 months ago
• mpmilano / MixT
  Prototype Mixed-consistency transaction implementation
  ☆62Updated 6 years ago
• billziss-gh / imap
  Integer Map Data Structure
  ☆130Updated last year
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆206Updated 2 months ago
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆20Updated 9 months ago
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆75Updated last year
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆202Updated 2 years ago
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆55Updated 6 months ago