A minimal, modern Python project template using uv. An instantiated version of this template here

A very simple interactive demo to understand the common LLM samplers.

Implementation of the Cedar Policy Language

UI over MCP. Create next-gen UI experiences with the protocol and SDK!

An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications

Texas holdem OpenAi gym poker environment with reinforcement learning based on keras-rl. Includes virtual rendering and montecarlo for equity calculation.

The prototype tool of a JML generation technique (paper accepted in ICSE'25) for Java programs.

A webapp for developing and sharing Alloy models

The Python package installer

Prepend universal audio attack segment to mute Whisper

Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more

Code for the paper "Evaluating Large Language Models Trained on Code"