sampsyo / flatcalcLinks
world's worst interpreter
☆65Updated 7 months ago
Alternatives and similar repositories for flatcalc
Users that are interested in flatcalc are comparing it to the libraries listed below
Sorting:
- ☆58Updated 4 months ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆106Updated 3 years ago
- the WebAssembly partial evaluator☆108Updated 3 months ago
- An experimental optimizing compiler for Bril using egglog☆80Updated last week
- Wasm SpecTec specification tools☆81Updated this week
- ☆31Updated 9 months ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆229Updated last year
- Fast WebAssembly Baseline Compiler☆60Updated 2 years ago
- ☆174Updated 3 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆49Updated 3 weeks ago
- The Solid-State Register Allocator☆87Updated 3 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆26Updated last year
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated 2 years ago
- A new register allocator☆243Updated 3 weeks ago
- ☆39Updated 4 years ago
- ☆264Updated last year
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆152Updated 5 months ago
- A Tiny, Friendly Companion to LLVM☆41Updated 2 weeks ago
- Performance comparisons between various virtual interpreter implementation strategies☆45Updated last year
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 5 years ago
- bison-like Parser generator & Compiler frontend framework that generate optimised IELR(1)/LALR(1) tables with Deterministic LR and Non-De…☆23Updated last month
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆94Updated last week
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆123Updated last year
- Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.☆42Updated last week
- Datalog with equality for rust☆71Updated last week
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆101Updated 5 months ago
- Program analysis playground for a simple, imperative language☆38Updated 3 years ago
- A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation☆72Updated this week
- Exploring awesome PL papers in redex☆19Updated 3 years ago
- egg is a flexible, high-performance e-graph library☆12Updated last year