An analysis tool for Python that blurs the line between testing and type systems.

Send messages and files over Telegram from the command-line.

LaTeX class and template for Marie Skłodowska-Curie Actions Postdoctoral Fellow (MSCA-PF) grant applications

An automated fault localization tool for Python programs.

A simple code complexity analyser without caring about the C/C++ header files or Java imports, supports most of the popular languages.

Exercism exercises in Prolog.

A small library to help running and logging the behaviour of research tools

LLM inference in C/C++

A python wrapper for the GitLab API.

cron-like daemon which handles filesystem events

safe executor for programming contest auto judge system

A toolkit for SAT-based prototyping in Python

Artifacts of FSE-2017 paper on an Intelligent Tutoring System for Programming

🐍 Complete C99 parser in pure Python

UpMax: User partitioning for MaxSAT

The modern video player for macOS.

Penelope is a multi-tool for creating, editing and converting dictionaries, especially for eReader devices

The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)

Code Hunt is a serious education game which has been played by over 140,000 students and enthusiasts over the past year. In the process we have collected over 1.5M programs. We hope that researcher…

OverCode's public repo (OverCode 2.0 is still a private repo and will hopefully be released soon). See http://people.csail.mit.edu/elg/overcode for papers, posters, and talks.

The next gen ls command

Code clone detection; clone-related bug detection; sematic clone analysis

CLuster And RepAir tool for introductory programming assignments

Synthesis API Refactor

Regular expression for form validations synthesizer

NeuroSAT: Learning a SAT Solver from Single-Bit Supervision

NeuroCore: Guiding CDCL with Unsat-Core Predictions

A SQL and R Synthesizer Using Query Reverse Engineering

A Python script to create cactus and scatter plots based on matplotlib