Skip to content
View docandrew's full-sized avatar

Block or report docandrew

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
Ada 2 1 Updated Feb 14, 2026

Threaded AVL trees library for Ada

Ada 1 Updated Oct 12, 2021

The CNCF sandbox for observability visualisation. Already supports Prometheus, Tempo, Loki and Pyroscope - more data sources to come!

Go 1,984 166 Updated Feb 18, 2026

DRANET is a Kubernetes Network Driver that uses Dynamic Resource Allocation (DRA) to deliver high-performance networking for demanding applications in Kubernetes.

Go 161 21 Updated Dec 9, 2025

Pragmatic microkernel-based OS with fully asynchronous I/O

C++ 1,856 92 Updated Feb 18, 2026
Shell 78 9 Updated Nov 10, 2025

The Z3 Theorem Prover

C++ 11,928 1,609 Updated Feb 18, 2026

A Linux version of the Procmon Sysinternals tool

C 4,628 290 Updated Oct 21, 2025

Save 30-50%+ of CI time without any effort or cost. Use Magic Nix Cache, a totally free and zero-configuration binary cache for Nix on GitHub Actions.

TypeScript 503 31 Updated Feb 18, 2026

🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.

Rust 16,562 1,559 Updated Feb 12, 2026

Ada packages for handling SI units of measure

Ada 2 Updated Feb 13, 2026

Rust for Windows

Rust 11,953 597 Updated Feb 17, 2026

The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class …

Ada 22 5 Updated Aug 19, 2022

A demo of best practices for open-source Ada/SPARK development

Ada 40 6 Updated Oct 26, 2024

Unbound data structures in Ada-Spark.

Ada 13 Updated Feb 6, 2022

A standalone Luau runtime

Rust 822 120 Updated Oct 14, 2025

A native, user-mode, multi-process, graphical debugger.

C 6,666 285 Updated Feb 18, 2026

Maintainable configuration files

Dhall 4,414 180 Updated Jan 8, 2026

Safe and secure software updates for embedded Linux

C 1,101 245 Updated Feb 13, 2026

Automated CIS Benchmark Compliance Remediation for Ubuntu 24 with Ansible

YAML 158 47 Updated Feb 16, 2026

iperf3: A TCP, UDP, and SCTP network bandwidth measurement tool

C 8,275 1,401 Updated Jan 23, 2026

aider is AI pair programming in your terminal

Python 40,720 3,897 Updated Feb 16, 2026

InSpec: Auditing and Testing Framework

Ruby 3,049 680 Updated Feb 17, 2026

GNATcoverage: Coverage Analysis Tool

Ada 46 10 Updated Feb 18, 2026

Instant, easy, and predictable development environments

Go 11,303 298 Updated Feb 17, 2026

Terraform MAAS provider

Go 81 52 Updated Feb 18, 2026

Build fast web applications with Rust.

Rust 20,125 842 Updated Feb 17, 2026

Free IDE for Kubernetes

TypeScript 4,624 194 Updated Feb 18, 2026

Ada grammar for tree-sitter

JavaScript 26 10 Updated Dec 16, 2025
Next