Alternatives and similar repositories for flatcalc

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

• cfallin / waffle
  ☆58Updated 6 months ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril using egglog
  ☆82Updated last month
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆106Updated 3 years ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆112Updated 4 months ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆26Updated 2 years ago
• yorickpeterse / pattern-matching-in-rust
  Pattern matching and exhaustiveness checking algorithms implemented in Rust
  ☆230Updated last year
• SeaOfNodes / Simple-Rust
  ☆31Updated 10 months ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆81Updated 3 weeks ago
• phate / jlm
  A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation
  ☆73Updated last week
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆64Updated 2 years ago
• mkeeter / ssra
  The Solid-State Register Allocator
  ☆87Updated 3 years ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆100Updated last week
• ndmitchell / interpret
  ☆39Updated 4 years ago
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆46Updated last year
• cfallin / weval
  ☆174Updated 4 months ago
• neelsomani / cuq
  Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels
  ☆116Updated last week
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆63Updated 3 weeks ago
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆259Updated last week
• matklad / minipratt
  ☆267Updated last year
• moonbitlang / MoonLLVM
  A Tiny, Friendly Companion to LLVM
  ☆46Updated this week
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆61Updated 2 years ago
• brownsys / paralegal
  Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.
  ☆43Updated last month
• nikomatsakis / great-pl-papers
  Exploring awesome PL papers in redex
  ☆20Updated 3 years ago
• chc4 / lineiform
  A meta-JIT library for Rust interpreters
  ☆165Updated 2 years ago
• bytecodealliance / regalloc2
  A new register allocator
  ☆244Updated last month
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆79Updated 3 weeks ago
• cognitive-engineering-lab / depot
  A JS devtool orchestrator
  ☆54Updated last week
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆66Updated 5 years ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆102Updated 6 months ago
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆62Updated 2 years ago