Race Condition Running

A tracker for misogyny issues in tech

BibTeX bibliographies

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 version control 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

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 front ends for Java, Android, and JavaScript, and many common static program analyses.

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