A complete end-to-end pipeline for LLM interpretability with sparse autoencoders (SAEs) using Llama 3.2, written in pure PyTorch and fully reproducible.

Tools and standards for conducting and evaluating research in software engineering

Source code and artifact of "Energy Testing Oracle" project

Generate applications powered by your database.

Phaser is a fun, free and fast 2D game framework for making HTML5 games for desktop and mobile web browsers, supporting Canvas and WebGL rendering.

Website for "A Survey of Machine Learning for Big Code and Naturalness"

Dynamic Instrumentation Tool Platform

Vitess is a database clustering system for horizontal scaling of MySQL.

Data-flow testing coverage for Java

A fast, parallel test case minimization tool.

Regexp based tool for mutating generic source code across numerous languages

A simple and easy-to-use library to enjoy videogames programming

Library for interacting with LLVM IR in pure Go.

Universally Unique Lexicographically Sortable Identifier (ULID) in Go

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

Module for converting between datetime.timedelta and Go's time.Duration strings.

An experimental language which adds functional programming features to Go.

A Tasty Treat For All Your Database Needs

Vim/Nvim client for GhostText - Edit browser text areas in Vim/Neovim

Neovim client library and GUI, in Qt5.

Phosphor: Dynamic Taint Tracking for the JVM

A simple, fast and user-friendly alternative to 'find'

⚡ From finding text to search and replace, from sorting to beautifying text and more 🎨

Convert scans of handwritten notes to beautiful, compact PDFs

Go package implementing bitsets

A curated selection of blog posts on Go

Community outreach Working Group

Winamp 2 reimplemented for the browser