Stars
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
JanusGraph: an open-source, distributed graph database
Project Malmo is a platform for Artificial Intelligence experimentation and research built on top of Minecraft. We aim to inspire a new generation of research into challenging new problems presente…
A new data structure for accurate on-line accumulation of rank-based statistics such as quantiles and trimmed means
Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.
Modern Java decompiler aiming to be as accurate as possible, with an emphasis on output quality. Fork of the Fernflower decompiler.
An easy-to-learn/use static analysis framework for Java
PySonar2: a semantic indexer for Python with interprocedual type inference
A testing framework for automatically finding and simplifying bugs in graphics shader compilers.
A step-by-step tutorial for Soot (a Java static analysis framework)
A proof assistant and a dependently-typed language
A high-performance, parallel, compilation-based symbolic execution engine
LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow (EMNLP Findings 2024)
A modern Java classfile manipulation and analysis library
Neon lights in the night tonight and stars that shine in the open sky
A compiler, testing bed, and standard library for the Choral programming language.
Neural Program Repair with Execution-based Backpropagation http://arxiv.org/pdf/2105.04123
a throwaway implementation of normalization by evaluation