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 supported. This note will be visible to only you.
Report abuse

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

Report abuse
Showing results

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

Python 32,543 2,179 Updated Dec 29, 2025

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

Rust 3,872 131 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 24,488 645 Updated Feb 14, 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 7,719 1,029 Updated Feb 3, 2026

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

Python 12,449 1,338 Updated Oct 11, 2025

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

C++ 293 33 Updated Feb 15, 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,591 259 Updated Feb 13, 2026

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

Python 1,185 148 Updated Feb 15, 2026

Worldwide building footprints derived from satellite imagery

Python 1,795 257 Updated Feb 2, 2026

A self-organizing file system with llama 3

TypeScript 5,710 386 Updated Aug 8, 2025

Kani Rust Verifier

Rust 2,936 141 Updated Feb 11, 2026

Performance centered DSPy rewrite to(not port) Rust

Rust 233 18 Updated Feb 13, 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 Feb 13, 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 213 22 Updated Feb 9, 2026
OCaml 201 42 Updated Feb 7, 2026

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

Python 625 100 Updated Jan 27, 2026

A highly modular Bitcoin Lightning library written in Rust. It's rust-lightning, not Rusty's Lightning!

Rust 1,336 440 Updated Feb 13, 2026

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

C++ 37 10 Updated Jan 27, 2021

Minisketch: an optimized library for BCH-based set reconciliation

C++ 333 58 Updated Sep 2, 2025

Efficient and Precise Pointer-Tracking Data-Flow Framework

Java 68 12 Updated Dec 10, 2024
Java 7 Updated Mar 24, 2019

Efficient and Precise Pointer-Tracking Data-Flow Framework

Java 41 37 Updated Jul 8, 2021

IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis

Java 10 7 Updated Mar 10, 2018

IFDS/IDE Solver for Soot and other frameworks

Java 254 88 Updated Feb 13, 2026

FlowDroid Static Data Flow Tracker

Java 1,224 317 Updated Feb 13, 2026
Next