A LLM-first programming language.

🔑 boring thoughts from my life

A subset of lexicon vital to any young scholar

A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research

Pluggable type-checking for Java

Thursday what a concept bot

Scripts and experimental data for the paper "Pluggable Type Inference for Free", which appeared at ASE 2023

The English Programming Language

Class file for University of Washington thesis formatting with LaTeX.

test please ignore

Dataset for master's thesis.

IntelliJ plugin for supporting file history exploration.

⚡ Zaplib is an open-source library for speeding up web applications using Rust and WebAssembly.

😱 Falsehoods Programmers Believe in

Modern IntelliJ plugin to learn shortcuts for buttons

LaTeX source for Sized Dependent Types via Extensional Type Theory

🌲 Comfortable & Pleasant Color Scheme for Vim

The Scala Package Index

Exploration of heuristics to generate an improved commit history for a file.

Navigate your code in an infinite timeline of code patches!

⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses

VS Code extension that assists with finding information relevant to your code on the web

Create many mocha tests from JSON files within a folder (part of CPSC 310)

🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.