Skip to content
View copumpkin's full-sized avatar
💭
Mostly unresponsive these days
💭
Mostly unresponsive these days

Organizations

@agda @haskell @NixOS @analytics

Block or report copumpkin

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.

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
Showing results
Lean 211 53 Updated Jul 24, 2026

Widelands is a free, open source real-time strategy game with singleplayer campaigns and a multiplayer mode. The game was inspired by Settlers II™ (© Bluebyte) but has significantly more variety an…

C++ 2,913 204 Updated Jul 22, 2026

Darwin system built with Nix

Shell 52 2 Updated Jul 22, 2026

Linked-Intent Development - a SDD methodology for agentic coding

CSS 88 14 Updated Jul 6, 2026

CLI for managing personal contacts. Can be agent-driven. Uses CardDAV (apple/fastmail contacts). Your AI agent (or you) checks who you're overdue to contact, preps context for meetings, and logs in…

Go 13 2 Updated Apr 18, 2026

Unified Schema-Based Information Extraction

Python 1,711 156 Updated Jul 23, 2026

A Python library for extracting structured information from unstructured text using LLMs with precise source grounding and interactive visualization.

Python 37,793 2,622 Updated Jul 2, 2026

A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

Rust 4,062 160 Updated Dec 4, 2024

A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.

Swift 48,254 1,522 Updated Jul 23, 2026

The repository provides code for running inference and finetuning with the Meta Segment Anything Model 3 (SAM 3), links for downloading the trained model checkpoints, and example notebooks that sho…

Python 11,072 1,672 Updated Jul 15, 2026

[CVPR 2025 Best Paper Award] VGGT: Visual Geometry Grounded Transformer

Python 13,985 1,519 Updated May 19, 2026

A library for human kinematic motion and numerical optimization solvers to apply human motion

C++ 394 60 Updated Jul 24, 2026

Embedding Atlas is a tool that provides interactive visualizations for large embeddings. It allows you to visualize, cross-filter, and search embeddings and metadata.

TypeScript 4,881 312 Updated Jul 22, 2026

iNTERCEPT, a free and open-source platform that unites the best signal intelligence tools into a single, accessible interface.

Python 2,136 293 Updated Jul 8, 2026

Worldwide building footprints derived from satellite imagery

Python 1,910 271 Updated Mar 11, 2026

A self-organizing file system with llama 3

TypeScript 5,820 385 Updated Aug 8, 2025

Kani Rust Verifier

Rust 3,242 157 Updated Jul 23, 2026

Performance centered DSPy rewrite to(not port) Rust

Rust 295 31 Updated May 20, 2026

Rust porting of "Fusion" - sensor fusion library for Inertial Measurement Units (IMUs)

Rust 24 4 Updated May 22, 2025

DSE: a generic dynamic symbolic execution engine

Java 5 1 Updated Jun 26, 2026

Some modules/macros/screensets for my Mach4 ATC setup

Lua 8 3 Updated Feb 24, 2020

CQ-CAM aims to become a free, parametric CAM solution for 3-axis CNC mills closely integrating with CadQuery.

Python 32 5 Updated Jun 20, 2023

k: Kinematics Library for rust-lang

Rust 220 24 Updated Jun 19, 2026
OCaml 224 48 Updated Jul 16, 2026

Random scripts and other bits for interacting with the SpaceX Starlink user terminal hardware

Python 694 112 Updated May 29, 2026

This repo is a mirror of https://git.rust-bitcoin.org/lightningdevkit/rust-lightning

Rust 1,364 476 Updated Jul 24, 2026

Cauchy Caterpillar : O(N^2) Short-Window Streaming Erasure Code

C++ 38 11 Updated Jan 27, 2021

Minisketch: an optimized library for BCH-based set reconciliation

C++ 337 59 Updated Sep 2, 2025
Next