usethesource / clairLinks
C Language Analysis in Rascal
☆26Updated 3 weeks ago
Alternatives and similar repositories for clair
Users that are interested in clair are comparing it to the libraries listed below
Sorting:
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated last year
- ☆34Updated 4 years ago
- An LLVM IR Editor plugin for Eclipse☆51Updated 11 years ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- This is a clone of an SVN repository at svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk. It had been cloned by http://svn2github.…☆9Updated 8 years ago
- The semantics of Java in K☆18Updated 3 years ago
- a book about declarative language definition☆23Updated 9 years ago
- Abstract interpreter for real-world application programs☆32Updated 12 years ago
- A cross platform JIT engine based on Eclipse OMR☆27Updated 5 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆31Updated 9 years ago
- surgical precision JIT compilers☆121Updated 7 years ago
- Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…☆25Updated 6 years ago
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆78Updated 9 years ago
- Supplementary files for SSFT 2015 summer school☆11Updated 5 years ago
- A Virtual Machine Research Overview as a Graph☆25Updated 4 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated 10 months ago
- The LTSmin model checking toolset☆60Updated 7 months ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- The latest development version of rose. It may not pass all regression tests.☆107Updated 6 years ago
- Kodkod solver for relational logic☆74Updated last year
- GramTest: A tool for Grammar based Test case generation☆86Updated last year
- ☆40Updated 6 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated last week
- ☆88Updated 2 years ago
- Clank is a Java-port of popular Clang frontend☆38Updated 7 years ago
- Grammar Zoo☆92Updated 6 years ago
- The Stratego program transformation language☆31Updated last month