janvitek / riftLinks
Playing with llvm
☆25Updated 8 years ago
Alternatives and similar repositories for rift
Users that are interested in rift are comparing it to the libraries listed below
Sorting:
- The Higher-Order Intermediate Representation☆161Updated this week
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆52Updated 4 months ago
- An imperative and functional programming language☆158Updated 5 months ago
- ☆89Updated 3 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆158Updated 6 years ago
- A compiler from ML to C++ template language☆157Updated 10 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 9 years ago
- MLton with Realtime GC and Threading features☆103Updated last year
- A system for creating fast, reusable parsers☆172Updated 10 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 9 years ago
- surgical precision JIT compilers☆122Updated 8 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-spec☆26Updated 9 years ago
- A static verifier for concurrent C programs☆136Updated 4 years ago
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- ☆52Updated last year
- Kodkod solver for relational logic☆79Updated 2 years ago
- Java dialect using S-expressions☆31Updated 7 years ago
- l1c is a simple formally verified compiler for a while language☆55Updated 5 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated last year
- Experiments about intermediate representations in compilers☆28Updated 13 years ago
- Accepted papers for POPL 2015☆66Updated 9 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 9 years ago
- Simple C++ Parser Combinator Library☆15Updated 10 years ago
- C++ parser combinator library☆97Updated 10 years ago
- No sane compiler would optimize atomics: the presentation☆108Updated 9 years ago
- A small implementation of type inference☆80Updated 10 years ago
- ♥ Janusz Brzozowski☆162Updated last year
- An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.☆12Updated 9 years ago
- 🔬 a C++ compiler middle-end, using an LLVM backend☆164Updated 3 years ago