Spoon is a metaprogramming library to analyze and transform Java source code (incl Java 9, 10, 11). 🥄 is made with ❤️, 🍻 and ✨. It parses source files to build a well-designed AST with powerful analysis and transformation API.

syzkaller is an unsupervised coverage-guided kernel fuzzer

IdBench: The dataset is an effort for evaluating to what extent word embeddings of identifiers represent semantic relatedness and similarity.

Linux Test Project

ok.py supports programming projects by running tests, tracking progress, and assisting in debugging.

JKind - An infinite-state model checker for safety properties in Lustre

The dataset and source code for paper "Automating Intention"

CS conference search python library

C# app for robot control

machine learning based dialogue engine for conversational software