Scripts for programming and system administration

A collection of useful facts

Fork of harvest for agentic C-to-Rust translation experiments (kiro-cli)

Race Condition Running

Pluggable type-checking for Java

C Bounded Model Checker

Apache Doris is an easy-to-use, high performance and unified analytics database.

Datasets and code for the CRUST-bench paper.

BibTeX bibliographies

Official repository for the paper "LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code"

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

TSED with Flexible Parser

Read-only mirror of https://hg.openjdk.java.net/jdk/jdk

Join Order Benchmark (JOB)

Fast tokenization and structural analysis of any programming language

Fast and robust AST parsing of any language

Code accompanying "How I learned to start worrying about prompt formatting".

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!