ishiura-compiler / Orange3Links
pre-release.
☆12Updated 9 years ago
Alternatives and similar repositories for Orange3
Users that are interested in Orange3 are comparing it to the libraries listed below
Sorting:
- ☆89Updated 3 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
- C++11 library for many-sorted logics☆39Updated 8 years ago
- custom type systems for Clang☆98Updated 9 years ago
- ☆33Updated 10 years ago
- A simple VM to play with OSR in LLVM☆14Updated 8 years ago
- Automatic regression verification for LLVM programs☆19Updated 3 years ago
- l1c is a simple formally verified compiler for a while language☆55Updated 4 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20Updated 8 years ago
- The Pascal-F Verifier☆49Updated 7 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆32Updated 5 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- GNU Superoptimizer Version 2☆26Updated 4 years ago
- A distributed key-value cache with builtin materialized views.☆26Updated 10 years ago
- evaluation using f-algebras☆23Updated 9 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago
- Liveness-driven random C code generator☆41Updated 11 months ago
- Formal semantics of LLVM IR in K☆46Updated 7 years ago
- ALLVM Tools☆56Updated 3 years ago
- Python bindings for libgccjit.so☆48Updated 9 years ago
- Experimental results of the strata project☆9Updated 9 years ago
- Accepted papers for POPL 2015☆66Updated 9 years ago
- Link to preprints for POPL'17 and co-located events☆100Updated 8 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- GoNative project: formal machines models in Coq☆36Updated 7 years ago
- Verifying x86 semantics☆9Updated 8 years ago
- resurrected LLVM "C Backend", with improvements☆128Updated 4 years ago
- ☆53Updated last year