sampsyo / flatcalcLinks
world's worst interpreter
☆67Updated 9 months ago
Alternatives and similar repositories for flatcalc
Users that are interested in flatcalc are comparing it to the libraries listed below
Sorting:
- ☆58Updated 7 months ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆107Updated 3 years ago
- An experimental optimizing compiler for Bril using egglog☆84Updated 3 weeks ago
- the WebAssembly partial evaluator☆113Updated 5 months ago
- ☆31Updated 11 months ago
- Wasm SpecTec specification tools☆85Updated 2 weeks ago
- ☆174Updated 5 months ago
- Performance comparisons between various virtual interpreter implementation strategies☆46Updated last year
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆232Updated last year
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆104Updated last week
- JIT codegen backend with SSA IR based on B3 from WebKit☆64Updated 2 years ago
- ☆39Updated 5 years ago
- Fast WebAssembly Baseline Compiler☆61Updated 2 years ago
- Pure functional programming with whole-program mutability inference☆79Updated last month
- bison-like Parser generator & Compiler frontend framework that generate optimised IELR(1)/LALR(1) tables with Deterministic LR and Non-De…☆23Updated 3 months ago
- Rust implementation of the projects from the book Modern Compiler Implementation in ML☆145Updated 8 months ago
- Debugger written in Rust☆25Updated 3 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆26Updated 2 years ago
- The Solid-State Register Allocator☆89Updated 3 years ago
- MimIR is my Intermediate Representation☆89Updated this week
- Debugging WebAssembly? Put some Whamm! on it.☆84Updated last week
- ☆271Updated last year
- A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation☆75Updated last week
- A different approach to an E-graph library☆28Updated 8 months ago
- A Tiny, Friendly Companion to LLVM☆46Updated last month
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆153Updated 7 months ago
- egg is a flexible, high-performance e-graph library☆13Updated last year
- A Hindley-Milner polymorphic typing system☆60Updated 2 years ago
- Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels☆124Updated last month
- Analyze Rust crates without touching compiler internals☆287Updated this week