goccy / p5-Compiler-CodeGenerator-LLVMLinks
Create LLVM IR for Perl5
☆41Updated 7 years ago
Alternatives and similar repositories for p5-Compiler-CodeGenerator-LLVM
Users that are interested in p5-Compiler-CodeGenerator-LLVM are comparing it to the libraries listed below
Sorting:
- A proof assistant.☆12Updated 9 years ago
- An -OFun prototype of an Ultra Modern Perl 5☆280Updated 11 years ago
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 9 years ago
- Parse any language you can describe in BNF☆160Updated last year
- Compiler intermediate language for static analysis.☆107Updated 6 years ago
- Continuation Passing C☆113Updated 6 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-spec☆26Updated 9 years ago
- fastest perl like language☆75Updated 12 years ago
- pacc: a compiler-compiler☆37Updated 9 years ago
- An LLVM-based compiler for Brainfuck.☆51Updated 11 years ago
- Core implementation of X10 programming language including compiler, runtime, class libraries, sample programs and test suite☆72Updated 3 years ago
- A library for Rapid {C|Concurrency|Correct} Development☆34Updated 9 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Updated 6 years ago
- C++ compiler for the programming language Wake: a fast, expressive, typesafe language built with testability from the ground up.☆55Updated 10 years ago
- s-expression → internal IR → LLVM IR☆46Updated 9 years ago
- A library for creating HTTP/2 servers in Haskell.☆9Updated 7 years ago
- BSD Licensed Bignum Library☆233Updated last year
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"☆57Updated 12 years ago
- High-Level Virtual Machine for statically-typed functional languages.☆48Updated 13 years ago
- Benchmarks of the longest path problem in various languages☆155Updated 6 years ago
- Fast interpreter with macros, local type inference, LLVM backend.☆164Updated 6 years ago
- A demo of concurrency primitives in x64 assembly☆18Updated 3 years ago
- Compiler and tools for the L programming language☆72Updated last year
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆30Updated 3 years ago
- A compiler from ML to C++ template language☆158Updated 9 years ago
- l1c is a simple formally verified compiler for a while language☆55Updated 4 years ago
- A compiler for the Tiger programming language targeting LLVM☆13Updated 8 years ago
- fast SIMD-able JIT regular expression compiler☆196Updated 10 years ago