ishiura-compiler / Orange3Links
pre-release.
☆12Updated 10 years ago
Alternatives and similar repositories for Orange3
Users that are interested in Orange3 are comparing it to the libraries listed below
Sorting:
- l1c is a simple formally verified compiler for a while language☆55Updated 5 years ago
- A tweaked version of Aha! ("A Hacker's Assistant") the superoptimiser by Henry S. Warren☆58Updated 3 years ago
- Many functions in C for sorting the nibbles in an 8-byte word☆33Updated 10 years ago
- custom type systems for Clang☆96Updated 10 years ago
- A SAT solver implementation in VHDL, team tussle☆21Updated 9 years ago
- a tool for querying Dwarf (debuginfo) graphs☆57Updated last year
- C++11 library for many-sorted logics☆39Updated 8 years ago
- Automatic regression verification for LLVM programs☆19Updated 4 years ago
- resurrected LLVM "C Backend", with improvements☆131Updated 5 years ago
- ☆55Updated last year
- ☆89Updated 3 years ago
- Minimal implementation of UNIX seq command in x86_64 assembly.☆40Updated 9 years ago
- An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine☆92Updated 6 years ago
- An exercise in cryptographic minimlism☆24Updated 10 years ago
- JIT Assembler Library for multiple ISAs☆76Updated 10 years ago
- Alive: Automatic LLVM's Instcombine Verifier☆222Updated 2 years ago
- Python bindings for libgccjit.so☆48Updated 10 years ago
- Liveness-driven random C code generator☆42Updated 3 months ago
- A Python-like systems programming language☆84Updated 9 years ago
- No sane compiler would optimize atomics: the presentation☆108Updated 9 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 9 years ago
- A (Py)thon (D)SL for (G)enerating (In)struction set simulators.☆167Updated 7 years ago
- ☆33Updated 10 years ago
- The Pascal-F Verifier☆50Updated 8 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆21Updated 6 years ago
- subset-of-C compiler targeting 32-bit x86☆115Updated 2 years ago
- Compiler intermediate language for static analysis.☆107Updated 6 years ago
- The GNU Superoptimizer☆27Updated 11 years ago
- An LLVM IR Editor plugin for Eclipse☆52Updated 11 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago