Generic scaffolding for an end-to-end LLVM-based compiler
☆36Dec 30, 2020Updated 5 years ago
Alternatives and similar repositories for compiler
Users that are interested in compiler are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Linear Algebra Done...Lean☆20Jan 15, 2018Updated 8 years ago
- ☆12Jul 9, 2021Updated 5 years ago
- ☆13Jul 31, 2018Updated 8 years ago
- ☆10Oct 22, 2019Updated 7 years ago
- Syntaxes with Binding, Their Programs, and Proofs☆23Oct 26, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A stand-alone C version of DrPetter's sfxr synthesizer☆12Aug 26, 2024Updated 2 years ago
- Open-sourcing my latest music album.☆12Sep 23, 2020Updated 6 years ago
- Concurrent algorithms in Haskell using software transactional memory (STM monad)☆14Jan 5, 2023Updated 3 years ago
- Merge sort correctness proof☆11May 21, 2015Updated 11 years ago
- Builder for .NET for Compiler Explorer☆14Jul 14, 2026Updated 3 months ago
- A composite GitHub action that can be used to create or update a GitHub issue/pull request comment.☆11Oct 4, 2025Updated last year
- Manipulate static symbols in ELF and Mach-O objects☆17Jun 17, 2022Updated 4 years ago
- Buchbergers algorithm for computing Groebner basis of polynonmial ideals☆13Dec 2, 2023Updated 2 years ago
- Elixir is a project launched by @team-watchdog in response to the medicine and medical equipment shortage caused by the 2022 Economic Cri…☆12Sep 16, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Use "git apply" from CMake to patch source/headers/etc.☆13Jun 9, 2026Updated 4 months ago
- A Gallina compiler with C++17 as an intermediate representation☆43Apr 5, 2021Updated 5 years ago
- LuaJIT binding to blend2d graphics library☆10Jan 4, 2022Updated 4 years ago
- Pyrefine – python code checker based on Hoare logic☆11Sep 29, 2022Updated 4 years ago
- An experiment in publishing a Haskell library as a Python Wheel.☆11Apr 30, 2025Updated last year
- Metaborg Release Engineering☆19May 14, 2025Updated last year
- A bare-bones macro-based Entity-Component-System☆11Apr 11, 2021Updated 5 years ago
- Save memory with custom module "tables"☆26Oct 31, 2017Updated 8 years ago
- LuaJIT FFI based bindings for lmdb☆11May 7, 2014Updated 12 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A small, pragmatic, and flexible async HTTP server library, in Rust☆11Jan 1, 2021Updated 5 years ago
- A support library for building parallel systems, including 2nd-level schedulers that efficiently manage user level threads☆10Aug 27, 2015Updated 11 years ago
- SQLite Persistent Objects for iOS.☆10Jan 25, 2016Updated 10 years ago
- ☆13Jan 25, 2016Updated 10 years ago
- A CLI tool to diff 2 versions of a Rails, Django, Laravel or Phoenix generated project.☆12Oct 22, 2025Updated last year
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated 9 months ago
- Haskell bindings to Chez Scheme☆11Sep 4, 2023Updated 3 years ago
- ICSE 2025: Fuzzing MLIR compilers with Custom Mutation Synthesis☆15Jul 22, 2025Updated last year
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 9 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Galvanize: Pure Rust CDB reader/writer☆18Jan 16, 2023Updated 3 years ago
- ☆39Sep 17, 2021Updated 5 years ago
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- A collection of tools and libs for C3 language☆14Sep 8, 2026Updated last month
- Simple language collation for Go☆13Nov 3, 2020Updated 5 years ago
- Category Theory & Cobordism Categories in Lean 4☆16Jun 27, 2024Updated 2 years ago
- Evolutionary decision trees☆11Jun 16, 2025Updated last year