A comprehensive local Linux Privilege-Escalation Benchmark

Helping Ethical Hackers use LLMs in 50 Lines of Code or less..

Thin wrapper for "pandoc" (MIT)

Performance Prediction From Source Code Is Task and Domain Specific

JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis

Lightweight Performance Control System

A probabilistic programming system for simulators and high-performance computing (HPC), based on PyTorch

Entity Relationship Diagram modeling tool realized as a language server that is distributed as a VS Code extension.

🌸 A command-line fuzzy finder

List of awesome CSS frameworks in 2025

Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).

Materials for webppl tutorial

Multi-Objective Counterfactuals

Loop complexity analyzer plugin for Facebook Infer static analysis tool

Hot code reloading tool for Python

Material (mostly slides) for a graduate course on (formal) software analysis.

The continuous feedback plugin for JetBrains IDEs

Container images for portable development environments

⚡ preexec and precmd functions for Bash just like Zsh.

Generating bash command from natural language https://arxiv.org/abs/1802.08979

Pulumi - Infrastructure as Code in any programming language 🚀

ReproZip is a tool that simplifies the process of creating reproducible experiments from command-line executions, a frequently-used common denominator in computational science.

58069 Java source code diffs. http://arxiv.org/pdf/1807.03200

"Introduction to ML-on-Code" workshop materials 2018

Docker Extension Pack for Visual Studio Code

HCL is the HashiCorp configuration language.

Good-lookin' diffs. Actually… nah… The best-lookin' diffs. 🎉