Skip to content
View howcroft's full-sized avatar

Block or report howcroft

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

Desktop Extensions: One-click local MCP server installation in desktop apps

TypeScript 1,748 164 Updated Feb 18, 2026

Making large AI models cheaper, faster and more accessible

Python 41,363 4,527 Updated Mar 2, 2026

Ongoing research training transformer models at scale

Python 15,496 3,650 Updated Mar 4, 2026

DrWhy is the collection of tools for eXplainable AI (XAI). It's based on shared principles and simple grammar for exploration, explanation and visualisation of predictive models.

R 690 84 Updated Feb 21, 2023

AMD's graph optimization engine.

C++ 283 121 Updated Mar 4, 2026

OpenVDB - Sparse volume data structure and tools

C++ 3,205 741 Updated Mar 4, 2026

🔎 Static code analysis engine to find security issues in code.

OCaml 2,195 178 Updated Mar 3, 2026

The Pinia plugin to enable Object-Relational Mapping access to the Pinia Store.

TypeScript 521 44 Updated Mar 1, 2026

[Node, Python, Java] Repository of sample Custom Rules for AWS Config.

Python 1,727 868 Updated Mar 1, 2026

Guard offers a policy-as-code domain-specific language (DSL) to write rules and validate JSON- and YAML-formatted data such as CloudFormation Templates, K8s configurations, and Terraform JSON plans…

Rust 1,367 195 Updated Mar 3, 2026

The Z3 Theorem Prover

C++ 11,985 1,619 Updated Mar 4, 2026

This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for O…

Java 170 37 Updated Mar 4, 2026

Dafny is a verification-aware programming language

C# 3,309 302 Updated Feb 26, 2026

🎨 Diagram as Code for prototyping cloud system architectures

Python 42,049 2,718 Updated Feb 7, 2026

High availability mechanisms for virtualized systems

C 3 1 Updated Feb 16, 2021

Phoenix LiveView workalikes for different languages and frameworks

499 22 Updated Dec 4, 2024

Backstage is an open framework for building developer portals

TypeScript 32,730 7,131 Updated Mar 4, 2026

This is home of Das Schiff - Deutsche Telekom Technik's engine for Kubernetes Cluster as a Service (CaaS) in on-premise environment on top of bare-metal servers and VMs.

366 28 Updated Sep 4, 2025

Transparent proxy server that works as a poor man's VPN. Forwards over ssh. Doesn't require admin. Works with Linux and MacOS. Supports DNS tunneling.

Python 13,154 786 Updated Feb 27, 2026

OPC Unified Architecture .NET Standard

C# 2,247 1,028 Updated Mar 3, 2026

OpenShift Migration Operator

Jinja 68 47 Updated Mar 3, 2026

The DataStax Kubernetes Operator for Apache Cassandra

Go 221 72 Updated Feb 20, 2026

Anuket specifications

Ruby 126 115 Updated Jun 23, 2025

A Kubernetes Resource Interface for the Edge

Rust 1,232 160 Updated Mar 2, 2026

A powerful testing tool for Kubernetes clusters.

Python 1,972 165 Updated Nov 10, 2023

The Chuck Norris of cloud benchmarks

Jinja 304 129 Updated May 28, 2025

Kubernetes performance and scale test orchestration framework written in golang

Go 725 166 Updated Mar 3, 2026

Cluster capacity analysis

Go 466 108 Updated Mar 3, 2026

A collection of resources and links relating to sociotechnical architecture for software systems.

185 15 Updated Feb 28, 2023
Next