snefru / io.vypa.llvmLinks
LLVM Intellij Plugin
☆17Updated 7 years ago
Alternatives and similar repositories for io.vypa.llvm
Users that are interested in io.vypa.llvm are comparing it to the libraries listed below
Sorting:
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- A Java JIT compiler written in Haskell☆73Updated 12 years ago
- Compiler intermediate language for static analysis.☆107Updated 7 years ago
- Formal semantics of LLVM IR in K☆46Updated 7 years ago
- High-Level Virtual Machine for statically-typed functional languages.☆49Updated 14 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆30Updated 7 years ago
- Parser for the llvm bitcode format☆60Updated last week
- Plugin files for editing K files☆12Updated last year
- Core implementation of X10 programming language including compiler, runtime, class libraries, sample programs and test suite☆72Updated 4 years ago
- Alive: Automatic LLVM's Instcombine Verifier☆225Updated 2 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆107Updated last year
- Thiis is a *deprecated* repo that contains a version of LLVM that was being modified to support Checked C. We have moved to a single (m…☆98Updated 2 years ago
- Compile Haskell-like code into C++ template metaprograms☆66Updated 9 years ago
- Compiler and tools for the L programming language☆72Updated last year
- A proof assistant.☆12Updated 9 years ago
- Camlp4 tool☆103Updated 4 months ago
- custom type systems for Clang☆96Updated 10 years ago
- Automatic regression verification for LLVM programs☆19Updated 4 years ago
- Design space for LLVM/Clang work☆45Updated 13 years ago
- Ocaml plugin for IntelliJ IDEA☆56Updated 4 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 10 years ago
- Rdr is a cross-platform binary analysis and reverse engineering library, utilizing a unique symbol map for global analysis.☆83Updated 2 years ago
- An educational JS virtual machine based on Eclipse OMR☆46Updated 2 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Updated 7 years ago
- asm.js parser in C++☆18Updated 10 years ago
- An OCaml bytecode to LLVM compiler☆43Updated 7 years ago
- An LLVM IR Editor plugin for Eclipse☆53Updated 12 years ago
- s-expression → internal IR → LLVM IR☆47Updated 10 years ago
- Example usage of LLVM's C bindings☆36Updated 13 years ago
- Type checking ifdef variability☆78Updated 4 years ago