reedobrien
Follow
-
porcupine Public
Forked from anishathalye/porcupineA fast linearizability checker written in Go 🔎
Go MIT License UpdatedNov 22, 2024 -
-
-
syscalls Public
Forked from jasonwhite/syscallsRaw Linux system calls for Rust.
Rust Other UpdatedOct 11, 2023 -
tag Public
Forked from aykamko/tagInstantly jump to your ag or ripgrep matches.
Go MIT License UpdatedOct 10, 2023 -
acc Public
ACME Autocert Cache (Currently only implements S3 cache)
Go MIT License UpdatedOct 10, 2023 -
-
rustconf-2023-signals Public
Forked from sunshowers/rustconf-2023-signalsSupplementary materials for RustConf 2023 talk on signal handling
Rust Creative Commons Zero v1.0 Universal UpdatedSep 13, 2023 -
magmide Public
Forked from magmide/magmideA dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Coq UpdatedJun 14, 2023 -
-
aya Public
Forked from aya-rs/ayaAya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.
Rust Apache License 2.0 UpdatedApr 19, 2023 -
-
fantoccini Public
Forked from jonhoo/fantocciniA high-level API for programmatically interacting with web pages through WebDriver.
Rust Apache License 2.0 UpdatedJan 7, 2023 -
bytehound Public
Forked from koute/bytehoundA memory profiler for Linux.
C Other UpdatedSep 7, 2022 -
docker-api-rs Public
Forked from willfindlay/docker-api-rsRust interface to Docker containers
Rust MIT License UpdatedJul 11, 2022 -
-
-
kafka-delta-ingest Public
Forked from delta-io/kafka-delta-ingestA highly efficient daemon for streaming data from Kafka into Delta Lake
Rust Apache License 2.0 UpdatedMar 16, 2022 -
goathtool Public
A CLI OTP generator
-
keyctl Public
Forked from jsipprell/keyctlA Go-lang interface to the linux kernel keyring api
Go BSD 3-Clause "New" or "Revised" License UpdatedSep 17, 2021 -
-
-
-
-
-
-
clearbucket Public
Clears all object versions for an AWS bucket, so it can be deleted.
Go UpdatedJan 13, 2021 -
-
datadog-agent Public
Forked from DataDog/datadog-agentDatadog Agent
Go Apache License 2.0 UpdatedJul 31, 2020 -
traceleft Public
Forked from ShiftLeftSecurity/tracelefteBPF based syscalls, files and network events tracing framework
Go Apache License 2.0 UpdatedJul 24, 2020