Alternatives and similar repositories for flatcalc

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

• cfallin / waffle
  ☆58Updated 8 months ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆102Updated 3 years ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆66Updated last month
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆42Updated last year
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆83Updated last month
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆55Updated 6 months ago
• SeaOfNodes / Simple-Rust
  ☆19Updated 3 months ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆56Updated 2 years ago
• yorickpeterse / pattern-matching-in-rust
  Pattern matching and exhaustiveness checking algorithms implemented in Rust
  ☆218Updated 7 months ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆30Updated last week
• chc4 / lineiform
  A meta-JIT library for Rust interpreters
  ☆162Updated 2 years ago
• ndmitchell / interpret
  ☆38Updated 4 years ago
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆62Updated last year
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆16Updated last week
• nadavrot / compressor
  An educational implementation of a modern compressor in Rust
  ☆47Updated last year
• cfallin / weval
  ☆172Updated 7 months ago
• dada-lang / dada-model
  Why can't a tree be called Pluplusch?
  ☆28Updated last month
• linkdd / astmaker
  Build Abstract Syntax Trees and tree-walking models quickly in Rust.
  ☆121Updated last year
• miestrode / ekege
  A different approach to an E-graph library
  ☆25Updated last month
• bytecodealliance / regalloc2
  A new register allocator
  ☆229Updated 3 weeks ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆51Updated last week
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆46Updated 6 months ago
• cbeuw / rustlantis
  UB-free and deterministic rustc fuzzer
  ☆80Updated last week
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆61Updated last year
• cdisselkoen / llvm-ir-analysis
  ☆71Updated last year
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆93Updated last week
• brownsys / paralegal
  Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can sig…
  ☆20Updated last week
• nwoeanhinnogaehr / algorithmw-rust
  A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.
  ☆44Updated 9 years ago