ishiura-compiler / Orange3
pre-release.
☆12Updated 9 years ago
Related projects: ⓘ
- ☆87Updated 2 years ago
- C++11 library for many-sorted logics☆40Updated 7 years ago
- l1c is a simple formally verified compiler for a while language☆55Updated 3 years ago
- Many functions in C for sorting the nibbles in an 8-byte word☆32Updated 9 years ago
- A tool for testing C compilers automatically☆20Updated 8 years ago
- Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren☆57Updated 2 years ago
- custom type systems for Clang☆96Updated 9 years ago
- Clairvoyance LLVM Tools. Instruction scheduling targeting long latency loads.☆14Updated 5 years ago
- JIT Assembler Library for multiple ISAs☆73Updated 9 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆28Updated 5 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆65Updated 8 years ago
- ☆49Updated 6 months ago
- A C++ expression -> x86 JIT☆18Updated 7 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆38Updated 7 years ago
- ☆33Updated 9 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- a tool for querying Dwarf (debuginfo) graphs☆53Updated 4 months ago
- An executable specification of the RISCV ISA in L3.☆41Updated 5 years ago
- An experimental System-on-Chip with a custom compiler toolchain.☆59Updated 4 years ago
- Universal Number Library☆40Updated 6 years ago
- Automatic regression verification for LLVM programs☆19Updated 3 years ago
- Experimental results of the strata project☆9Updated 8 years ago
- A SAT solver implementation in VHDL, team tussle☆20Updated 8 years ago
- Applied operating system - an operating system kernel written in the ATS programming language.☆44Updated 12 years ago
- Attribute grammar Based Language Extensions for C☆35Updated last week
- An exercise in cryptographic minimlism☆24Updated 9 years ago
- ☆13Updated this week
- ALLVM Tools☆55Updated 2 years ago
- A distributed key-value cache with builtin materialized views.☆27Updated 9 years ago
- A proof assistant.☆12Updated 8 years ago