ssloy / tinyoptimizerLinks
Can I make an *optimizing* compiler under 1k lines of code?
☆63Updated 8 months ago
Alternatives and similar repositories for tinyoptimizer
Users that are interested in tinyoptimizer are comparing it to the libraries listed below
Sorting:
- A bignum library for C.☆33Updated last year
- My little WebAssembly interpreter☆75Updated this week
- world's worst interpreter☆62Updated 6 months ago
- Tracing JIT compiler and runtime for a subset of the JVM☆26Updated last year
- C Intermediate Language☆154Updated last week
- MimIR is my Intermediate Representation☆80Updated this week
- Reader Implementations of "Writing a C Compiler"☆29Updated 3 weeks ago
- An introduction to language design through building a compiler frontend and completing a self-paced exercise on top of LLVM.☆136Updated last month
- A collection of lambda calculus interpreters and development tools☆16Updated 3 years ago
- Self-hosting PL/0 to C compiler to teach basic compiler construction from a practical, hands-on perspective.☆155Updated 4 years ago
- Compiling C to FlipJump☆94Updated 9 months ago
- egg is a flexible, high-performance e-graph library☆12Updated last year
- ☆18Updated last year
- A compiled, statically typed, C-like, data oriented language with a focus on performance and low-level optimization using GPU acceleratio…☆21Updated 3 weeks ago
- 32-bit integer only RISC-V core, along with assembler, linker, and compiler from scratch☆21Updated last month
- GPU-accelerated compiler☆354Updated last year
- A C compiler that tries to eliminate the need for header files as much as possible.☆88Updated last week
- This is an inofficial mirror of the Eigen Compiler Suite source code usually deployed as tar.gz☆32Updated last year
- Fast WebAssembly Baseline Compiler☆60Updated 2 years ago
- ☆294Updated last year
- A type-safe C successor that compiles directly to various platforms.☆139Updated 5 months ago
- Binary Lambda Calculus Virtual Machine☆55Updated last year
- A formalization of first-order logic and Peano's axioms in Python☆20Updated 4 months ago
- Reference implementation for Writing a C Compiler☆207Updated 8 months ago
- ☆71Updated this week
- Embedded Universal DSL: a good DSL for us, by us☆52Updated last week
- Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels☆82Updated last week
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆22Updated 2 years ago
- A Python-based C compiler for x86-64, featuring full parsing, semantic analysis, IR generation, and assembly code emission.☆23Updated last month
- Lightweight framework for easy and efficient code generation☆104Updated last year