Neil's starred repositories

manifesto

The OpenTF Manifesto expresses concern over HashiCorp's switch of the Terraform license from open-source to the Business Source License (BSL) and calls for the tool's return to a truly open-source license.

Language:HTMLLicense:Apache-2.0Stargazers:36256Issues:64Issues:24

AI-For-Beginners

12 Weeks, 24 Lessons, AI for All!

Language:Jupyter NotebookLicense:MITStargazers:32304Issues:392Issues:108

universal-android-debloater

Cross-platform GUI written in Rust using ADB to debloat non-rooted android devices. Improve your privacy, the security and battery life of your device.

Language:RustLicense:GPL-3.0Stargazers:14569Issues:124Issues:722

intel-one-mono

Intel One Mono font repository

devops-resources

DevOps resources - Linux, Jenkins, AWS, SRE, Prometheus, Docker, Python, Ansible, Git, Kubernetes, Terraform, OpenStack, SQL, NoSQL, Azure, GCP

topgrade

Upgrade everything

Language:RustLicense:GPL-3.0Stargazers:3369Issues:37Issues:622

GQL

Git Query language is a SQL like language to perform queries on .git files with supports of most of SQL features such as grouping, ordering and aggregations functions

Language:RustLicense:MITStargazers:3112Issues:9Issues:42

hayabusa

Hayabusa (隼) is a sigma-based threat hunting and fast forensics timeline generator for Windows event logs.

Language:RustLicense:GPL-3.0Stargazers:2023Issues:42Issues:599

kani

Kani Rust Verifier

Language:RustLicense:Apache-2.0Stargazers:2001Issues:22Issues:1549

proptest

Hypothesis-like property testing for Rust

Language:RustLicense:Apache-2.0Stargazers:1603Issues:19Issues:242

ferrocene

Source code of Ferrocene, safety-critical Rust toolchain

Language:RustLicense:NOASSERTIONStargazers:1227Issues:20Issues:40

macrokata

Learn Macros In Rust

Language:RustLicense:Apache-2.0Stargazers:1007Issues:9Issues:22

onyx

āœØ The compiler and developer toolchain for Onyx

Language:CLicense:BSD-2-ClauseStargazers:530Issues:6Issues:70

parca-agent

eBPF based always-on profiler auto-discovering targets in Kubernetes and systemd, zero code changes or restarts needed!

Language:GoLicense:Apache-2.0Stargazers:499Issues:17Issues:408

bootkit-rs

Rusty Bootkit - Windows UEFI Bootkit in Rust (Codename: RedLotus)

Language:RustLicense:MITStargazers:479Issues:10Issues:0

rust-minidump

Type definitions, parsing, and analysis for the minidump file format.

Language:RustLicense:MITStargazers:410Issues:10Issues:234

specification

Ferrocene Language Specification

cargo-deb

A cargo subcommand that generates Debian packages from information in Cargo.toml

Language:RustLicense:MITStargazers:386Issues:6Issues:82

detour-rs

A cross-platform detour library written in Rust

Language:RustLicense:NOASSERTIONStargazers:384Issues:7Issues:33

lockbud

Statically detect Rust deadlocks bugs

Language:RustLicense:BSD-3-ClauseStargazers:354Issues:9Issues:21

seize

Fast, efficient, and robust memory reclamation for Rust.

Language:RustLicense:MITStargazers:309Issues:5Issues:14

dryoc

Don't Roll Your Own Crypto: pure-Rust, hard to misuse cryptography library

Language:RustLicense:LGPL-3.0Stargazers:242Issues:5Issues:11
Language:CLicense:Apache-2.0Stargazers:239Issues:6Issues:6

usync

Small, fast, synchronization primitives

Language:RustLicense:MITStargazers:232Issues:6Issues:5

dll-syringe

A windows dll injection library written in rust.

Language:RustLicense:MITStargazers:148Issues:3Issues:20

infinitree

Scalable and encrypted embedded database with 3-tier caching

Language:RustLicense:Apache-2.0Stargazers:141Issues:5Issues:8

busrt

BUS/RT - Modern, fast, Rust-native IPC broker

Language:RustLicense:Apache-2.0Stargazers:100Issues:3Issues:3

acid_alloc

Bare-metal allocators.

Language:RustLicense:Apache-2.0Stargazers:76Issues:3Issues:0

cmaes

A Rust implementation of the CMA-ES optimization algorithm.

Language:RustLicense:Apache-2.0Stargazers:31Issues:3Issues:6

MineMath

šŸ§® Turn Minecraft into a graphing calculator!

Language:JavaStargazers:7Issues:1Issues:0