sampsyo / flatcalcLinks
world's worst interpreter
☆62Updated 6 months ago
Alternatives and similar repositories for flatcalc
Users that are interested in flatcalc are comparing it to the libraries listed below
Sorting:
- ☆58Updated 3 months ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆103Updated 3 years ago
- the WebAssembly partial evaluator☆106Updated last month
- Wasm SpecTec specification tools☆75Updated last week
- An experimental optimizing compiler for Bril☆78Updated this week
- ☆30Updated 8 months ago
- ☆174Updated last month
- Debugging WebAssembly? Put some Whamm! on it.☆44Updated last week
- Fast WebAssembly Baseline Compiler☆60Updated 2 years ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆226Updated 11 months ago
- Exploring awesome PL papers in redex☆19Updated 3 years ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆93Updated last month
- MimIR is my Intermediate Representation☆80Updated this week
- Performance comparisons between various virtual interpreter implementation strategies☆45Updated last year
- The Solid-State Register Allocator☆87Updated 3 years ago
- ☆71Updated last week
- bison-like Parser generator & Compiler frontend framework that generate optimised IELR(1)/LALR(1) tables with Deterministic LR and Non-De…☆23Updated last week
- 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 last year
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆150Updated 4 months ago
- Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.☆40Updated this week
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆55Updated 3 months ago
- Pure functional programming with whole-program mutability inference☆77Updated 2 months ago
- Datalog with equality for rust☆71Updated this week
- Solving the 1 Billion Row Challenge in MPL☆17Updated last year
- ☆39Updated 4 years ago
- Program analysis playground for a simple, imperative language☆37Updated 3 years ago
- egg is a flexible, high-performance e-graph library☆12Updated last year
- ☆256Updated 10 months ago
- Seamless bug-finding for Wasm, C, C++, Rust and Zig☆253Updated 2 weeks ago