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
- High-Level Virtual Machine for statically-typed functional languages.☆49Updated 14 years ago
- Ocaml plugin for IntelliJ IDEA☆56Updated 4 years ago
- Compiler intermediate language for static analysis.☆107Updated 7 years ago
- A Java JIT compiler written in Haskell☆73Updated 12 years ago
- An LLVM IR Editor plugin for Eclipse☆53Updated 12 years ago
- asm.js parser in C++☆18Updated 10 years ago
- DEPRECATED☆12Updated 10 years ago
- a git implementation in rust. yeah, I know..☆12Updated 9 years ago
- Compiler and tools for the L programming language☆72Updated last year
- ☆55Updated last year
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆30Updated 7 years ago
- Example usage of LLVM's C bindings☆36Updated 13 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 7 years ago
- Type checking ifdef variability☆78Updated 4 years ago
- Design space for LLVM/Clang work☆45Updated 13 years ago
- An educational JS virtual machine based on Eclipse OMR☆46Updated 2 years ago
- Core implementation of X10 programming language including compiler, runtime, class libraries, sample programs and test suite☆72Updated 4 years ago
- Automatic regression verification for LLVM programs☆19Updated 4 years ago
- custom type systems for Clang☆96Updated 10 years ago
- Compile Haskell-like code into C++ template metaprograms☆66Updated 9 years ago
- Convert Java bytecode to firm IR☆18Updated 8 years ago
- Formal semantics of LLVM IR in K☆46Updated 7 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
- Generate formatted C++ from Racket S-expressions☆36Updated 10 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 8 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
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated last week
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆21Updated 6 years ago
- A small DFA for under 16 states☆54Updated 7 years ago