An April fools joke, a llvm backend to CMake
☆49Sep 10, 2021Updated 4 years ago
Alternatives and similar repositories for LLVMCMakeBackend
Users that are interested in LLVMCMakeBackend are comparing it to the libraries listed below
Sorting:
- GenericInjector for win32 programs☆12Jun 19, 2017Updated 8 years ago
- A general purpose C++ toolkit library, built with☆28Nov 29, 2022Updated 3 years ago
- An implementation of memcpy for amd64 with clang/gcc☆15Feb 7, 2022Updated 4 years ago
- type-system, revised unification algorithm and runtime time representations☆13Dec 12, 2019Updated 6 years ago
- Prooftrees for Typst - Inspired by Latex's bussproofs☆20Apr 29, 2024Updated last year
- [DEPRECATED] Use https://github.com/akemimadoka/Cafe instead☆37Nov 18, 2018Updated 7 years ago
- an implementation of Observational Type Theory (OTT) and more☆31Oct 15, 2022Updated 3 years ago
- Yet another python JIT.☆20Mar 22, 2023Updated 3 years ago
- A simple implementation of JSON.☆19Feb 26, 2017Updated 9 years ago
- Meta-theory and normalization for Fitch-style modal lambda calculi☆19May 27, 2024Updated last year