Skip to content
View andrew's full-sized avatar
🚙
I may be slow to respond.
🚙
I may be slow to respond.

Sponsors

@mlinksva
@connorshea
@chriscz
@balupton

Sponsoring

Block or report andrew

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results
Python 332 218 Updated Oct 9, 2026

Policy-driven, layered isolation and containment

Rust 2,335 117 Updated Oct 9, 2026

The Lean Computer Science Library (CSLib)

Lean 739 210 Updated Oct 9, 2026

A repository around how we can have a build provenance document you *might* trust

Go 13 Updated Oct 5, 2026

Friends of in-toto! A place to record integrations and adoptions of the in-toto specification.

Python 22 23 Updated Oct 9, 2026

Cyber Reasoning Systems for Bug-Finding and Patching in Open Source Software

Python 165 33 Updated Oct 9, 2026

Deterministic first pass of a code review: groups a change in reading order, describes each group in plain sentences, and lists what can be skimmed.

Go 3 Updated Oct 6, 2026

A static page generator for repos

Go 1,348 49 Updated Jul 3, 2026

The Flix Programming Language

Flix 2,753 192 Updated Oct 9, 2026

git metadata spec and poc

Rust 73 7 Updated Oct 8, 2026

🌱 EcoLogits tracks the energy consumption and environmental footprint of using generative AI models through APIs.

Python 345 35 Updated Sep 29, 2026

Subaru BRZ/GT86 aux display

C 8 Updated Dec 22, 2025

CANBUS Gateway for BRZ/GT86/FRS

C++ 9 2 Updated Oct 11, 2018

My personal wiki-style knowledge base about Toyota 86 / GR86 / Subaru BRZ / Scion FR-S cars.

89 19 Updated Apr 7, 2026

DIY BLE device for RaceChrono, currently supports reading data from the CAN bus

C++ 140 19 Updated May 12, 2025

How-to: tune a Link G4X ECU on Linux with PCLink running under Wine, FTDI cable mapped through to a Wine COM port. Documents the non-obvious Wayland virtual-desktop and brltty/udev gotchas.

C 3 Updated Oct 4, 2026
Shell 5 2 Updated Sep 16, 2026
Rust 51 4 Updated Oct 9, 2026

Know what your code change can break before you merge it — PR impact analysis across code, APIs, config, deployments, ownership, and system dependencies.

Go 1 Updated Oct 5, 2026

Slides for my CodeCommons talk on linking package identities and ecosyste.ms metadata to archived source in Software Heritage.

JavaScript 1 Updated Sep 30, 2026

Extract lexical claims from bounded file prefixes in Go

Go 1 Updated Sep 30, 2026

Pure Go library and CLI for detecting programming languages from source content and file paths.

Go 1 Updated Oct 2, 2026

The public GitHub home of the Akrites Security Incident Response Team (SIRT)

12 12 Updated Oct 8, 2026

Go client for the Software Heritage Web API, generated from an OpenAPI description with hand-written pagination, rate limiting and auth

Go 1 Updated Sep 29, 2026

Calculate Software Heritage identifiers for package archives in the browser with Go and WebAssembly.

JavaScript 1 Updated Oct 6, 2026

Clone archived repositories from Software Heritage using ordinary Git.

Go 6 Updated Sep 29, 2026

The Inter font family

Python 19,958 486 Updated Nov 19, 2024

Software Heritage coverage checks for critical package repositories

Ruby 1 Updated Sep 28, 2026

A Go library for parsing and validating codemeta.json software metadata, with no third-party dependencies and TinyGo support.

Go 1 Updated Oct 1, 2026

publiccode.yml parser library and validator in Go

Go 1 Updated Oct 7, 2026
Next