Alternatives and similar repositories for flatcalc

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

• cfallin / waffle
  ☆58Updated last month
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆96Updated last month
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆72Updated 3 weeks ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆103Updated 3 years ago
• cfallin / weval
  ☆173Updated 10 months ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆59Updated 2 years ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆36Updated last week
• yorickpeterse / pattern-matching-in-rust
  Pattern matching and exhaustiveness checking algorithms implemented in Rust
  ☆221Updated 9 months ago
• SeaOfNodes / Simple-Rust
  ☆29Updated 6 months ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• brownsys / paralegal
  Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.
  ☆36Updated last month
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
  ☆149Updated 2 months ago
• mkeeter / ssra
  The Solid-State Register Allocator
  ☆87Updated 2 years ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆60Updated this week
• ehwan / RustyLR
  bison-like parser generator & compiler frontend that converts context-free grammars into IELR(1)/LALR(1) tables with deterministic LR and…
  ☆20Updated last week
• sdiehl / typechecker-zoo
  A menagerie of cute implementations of modern typechecking algorithms
  ☆62Updated last week
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆89Updated this week
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆44Updated last year
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆74Updated 3 weeks ago
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆62Updated 2 years ago
• phate / jlm
  ☆68Updated this week
• matklad / minipratt
  ☆249Updated 8 months ago
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆111Updated this week
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆71Updated last week
• linkdd / astmaker
  Build Abstract Syntax Trees and tree-walking models quickly in Rust.
  ☆122Updated last year
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated last week
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• chc4 / lineiform
  A meta-JIT library for Rust interpreters
  ☆164Updated 2 years ago
• miestrode / ekege
  A different approach to an E-graph library
  ☆25Updated 2 months ago
• bytecodealliance / regalloc2
  A new register allocator
  ☆234Updated last month