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!
  ☆209Updated 3 weeks ago
• ayende / libgavran
  Experimenting with persistence in C
  ☆169Updated 2 years ago
• jfbastien / jit-talk
  ☆47Updated 4 years ago
• billziss-gh / imap
  Integer Map Data Structure
  ☆130Updated last year
• GavinRay97 / rosetta-db
  ☆17Updated 2 years ago
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆202Updated 2 years ago
• pveentjer / Rust-based-ARM-emulator
  A bogus CPU emulator written in Rust.
  ☆52Updated 6 months ago
• tangledbytes / go-vsr
  ViewStamped Replication implementation in Go
  ☆38Updated last year
• AZHenley / superoptimizer
  A toy superoptimizer for a limited assembly language.
  ☆56Updated last year
• danprince / webassembly-wizardry
  🪄 Tiny challenges for learning WebAssembly
  ☆66Updated 2 months ago
• will62794 / spectacle
  Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
  ☆95Updated this week
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆82Updated 4 years ago
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆79Updated last year
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆101Updated 7 months ago
• ibara / l80
  CP/M and MS-DOS COM executable linker written in D.
  ☆40Updated 3 years ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆32Updated 2 years ago
• lucavallin / gnaro
  A proto-database inspired by SQLite for educational purposes.
  ☆82Updated 10 months ago
• sampsyo / flatcalc
  world's worst interpreter
  ☆61Updated 7 months ago
• tidwall / bgen
  B-tree generator for C
  ☆123Updated 2 weeks ago
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆44Updated 2 years ago
• tlaplus / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆137Updated 8 months ago
• viktorleis / mmapbench
  ☆135Updated 2 years ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆187Updated last week
• ckirsch / book
  ☆117Updated 3 months ago
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 2 years ago
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated last year