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:
- l1c is a simple formally verified compiler for a while language☆55Updated 4 years ago
- ☆89Updated 3 years ago
- Many functions in C for sorting the nibbles in an 8-byte word☆33Updated 10 years ago
- Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren☆58Updated 2 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- A proof assistant.☆12Updated 9 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆70Updated 9 years ago
- The Pascal-F Verifier☆49Updated 7 years ago
- custom type systems for Clang☆98Updated 9 years ago
- C++11 library for many-sorted logics☆39Updated 8 years ago
- Automatic regression verification for LLVM programs☆19Updated 3 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20Updated 8 years ago
- evaluation using f-algebras☆23Updated 9 years ago
- A compiler from ML to C++ template language☆158Updated 9 years ago
- No sane compiler would optimize atomics: the presentation☆106Updated 8 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- MLton with Realtime GC and Threading features☆103Updated last year
- JIT compiler for 6502 machine code, built on lib6502 and LLVM☆54Updated 10 years ago
- JIT Assembler Library for multiple ISAs☆74Updated 10 years ago
- ☆33Updated 10 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- [Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml☆119Updated 4 years ago
- Minimal implementation of UNIX seq command in x86_64 assembly.☆40Updated 8 years ago
- pacc: a compiler-compiler☆37Updated 8 years ago
- Clairvoyance LLVM Tools. Instruction scheduling targeting long latency loads.☆14Updated 6 years ago
- a tool for querying Dwarf (debuginfo) graphs☆55Updated last year
- resurrected LLVM "C Backend", with improvements☆128Updated 4 years ago
- Accepted papers for POPL 2015☆66Updated 9 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- A a dynamic x86_64 assembler in Scala — Code for the live coding session @ Devoxx france 2016☆121Updated 9 years ago