john-tornblom / llvm-p86
A compiler and mutation testing framework for the programming language Pascal-86
☆18Updated 10 years ago
Alternatives and similar repositories for llvm-p86:
Users that are interested in llvm-p86 are comparing it to the libraries listed below
- Tools for testing C compilers for the correct handling of volatile objects.☆26Updated 10 years ago
- Pruning of blanks from an ASCII stream - musings in AMD64 and ARM64☆10Updated 4 years ago
- The Vist programming language☆16Updated 8 years ago
- A proof assistant.☆12Updated 9 years ago
- ☆13Updated 3 years ago
- Turn an interpreter into a code generator☆31Updated 9 years ago
- Fork of Adobe/Mozilla lightweight library for generating machine code from C++☆35Updated 15 years ago
- An x86-64 instruction decoder.☆16Updated last year
- DExTer - Debug Experience Tester☆33Updated 3 years ago
- Example usage of LLVM's C bindings☆36Updated 13 years ago
- ☆21Updated 9 years ago
- The LLVM Symbolic Simulator, part of SAW.☆22Updated 4 years ago
- Startle C Library☆18Updated 6 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- Parser of C-syntax data definitions, C-syntax function definitions☆20Updated 12 years ago
- Peek/Poke like it's 1979 - Multi-Platform memory reading/writing☆12Updated 6 years ago
- A Pokémon Rom randomizer tool written in Zig☆13Updated 6 years ago
- Neil (Not Exactly an Intermediate Language), using MPC with LLVM☆11Updated 8 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- A small little tool for dumping a floating-point number in its native format☆55Updated 9 years ago
- An experimental method JIT for CPython 3☆29Updated 8 years ago
- Fuzzer and benchmarker for UTF-8 validators☆12Updated 4 years ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- Native B compiler for the Ti89☆12Updated 5 years ago
- firm object-orientation support library☆14Updated 3 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆12Updated 12 years ago
- Context switching for LLVM☆15Updated 13 years ago
- Jit + Rust + Memory☆19Updated 10 years ago
- Formal semantics of LLVM IR in K☆44Updated 9 years ago
- Fully verifiable operating system and API written in D in the public domain.☆40Updated 13 years ago