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

🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

Pluto: An automatic polyhedral parallelizer and locality optimizer

LaTeX template for ERC proposals

A virtual monitor for screen sharing

Clever Algorithms: Nature-Inspired Programming Recipes

Django friendly finite state machine support

A different approach to an E-graph library

Tool for the automatic orchestration of experiments targeting software systems

Type hints support for the Sphinx autodoc extension

My tools for the Slurm HPC workload manager

Libraries and tools for the SMT-LIB-2 standard.

A project to map out the relations between different equational theories of Magmas.

Chess in Lean 4

Feature engineering package with sklearn like functionality

Curated list of open Call-for-Papers in SE/PL scientific conferences: we keep an eye on all of them!

Styling matplotlib made easy

Examples using MetaProgramming for writing tactics etc.

Egraphs Modulo Theories

What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.

Animation engine for explanatory math videos

Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python

AIxCC: automated vulnerability repair via LLMs, search, and static analysis

Ekitai is a small programming language with refinement types that compiles to binary code using the LLVM ecosystem.

Random variables for Rust

A static analysis tool for Lean 4.