8000 copumpkin (Daniel Peebles) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

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

Rust 17 4 Updated May 22, 2025

DSE: a generic dynamic symbolic execution engine

Java 5 1 Updated Nov 26, 2024

Some modules/macros/screensets for my Mach4 ATC setup

Lua 7 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 29 5 Updated Jun 20, 2023

k: Kinematics Library for rust-lang

Rust 194 19 Updated May 23, 2025
OCaml 171 35 Updated Jul 10, 2025

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

Python 556 82 Updated Jun 26, 2025

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

Rust 1,283 418 Updated Jul 12, 2025

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

C++ 36 9 Updated Jan 27, 2021

Minisketch: an optimized library for BCH-based set reconciliation

C++ 322 57 Updated Jul 1, 2025

Efficient and Precise Pointer-Tracking Data-Flow Framework

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

Efficient and Precise Pointer-Tracking Data-Flow Framework

Java 40 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 248 88 Updated May 24, 2023

FlowDroid Static Data Flow Tracker

Java 1,150 307 Updated Jun 18, 2025

Debugger for Sed: demystify and debug your sed scripts, from comfort of your terminal.

Rust 1,191 28 Updated May 4, 2025
C++ 28 15 Updated May 30, 2025

Haskell library for hardware description

Haskell 104 12 Updated Jun 11, 2025

The TopoSAT2 SAT solver, heavily based on Glucose (and thus MiniSAT).

C++ 4 Updated Jul 31, 2018

An operating system designed for hosting containers

Rust 9,257 543 Updated Jun 30, 2025

Reference implementations of basic and advanced hypergraph algorithms.

Python 49 8 Updated Dec 23, 2023

T2 Temporal Prover

C 95 15 Updated Feb 12, 2018

Undocumented AWS Management Console APIs SDK for Python

Python 51 22 Updated Feb 10, 2023

Python Serverless Microframework for AWS

Python 10,888 1,003 Updated May 29, 2025

A project to collate IAM actions, AWS APIs and managed policies from various public sources.

Go 294 24 Updated Jul 11, 2025

The CloudFormation Resource Provider Package For AWS IAM Access Analyzer

Java 10 5 Updated Jan 3, 2024

A centralized source of all AWS IAM privilege escalation methods released by Rhino Security Labs.

918 122 Updated Jul 25, 2019
Next
0