8000 dhess (Drew Hess) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View dhess's full-sized avatar

Organizations

@quixoftic @hackworthltd

Block or report dhess

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

A pedagogical functional programming language.

Haskell 17 1 Updated Jun 23, 2025

Formalizing nbe in agda

31 1 Updated Nov 22, 2012

Intelligence for Kubernetes. World's most promising Kubernetes Visualization Tool for Developer and Platform Engineering teams.

Go 1,452 92 Updated Jun 20, 2025

A multi-llm Emacs shell (ChatGPT, Claude, DeepSeek, Gemini, Kagi, Ollama, Perplexity) + editing integrations

Emacs Lisp 1,080 94 Updated Jun 21, 2025

A simple, easy to use PowerShell script to remove pre-installed apps, disable telemetry, as well as perform various other changes to customize, declutter and improve your Windows experience. Win11D…

PowerShell 21,692 896 Updated Jun 17, 2025

JSaddle integration for the GHC Wasm backend

Haskell 18 3 Updated Jun 10, 2025

being some thoughts about introductory mathematics for computer science

TeX 17 1 Updated Jul 22, 2024

A LSP-Mode client for copilot, ready for inline completions!

Emacs Lisp 3 Updated Sep 3, 2024

Production ready, modern web-application starter template using haskell and htmx

Haskell 92 2 Updated Jun 10, 2025

Replace Copilot local AI

TypeScript 2,022 162 Updated May 13, 2024
Haskell 52 5 Updated Jun 9, 2025

Lean documentation authoring tool

JavaScript 180 91 Updated Jun 25, 2025
Haskell 108 14 Updated Jun 8, 2025

Encrypt Kubernetes Secrets using Hashicorp Vault as the KMS Provider

Go 49 6 Updated Jun 24, 2025

Automated resources sizing tool for containers in kubernetes

Go 367 10 Updated Nov 5, 2024

a lightweight and performant multicast DNS (mDNS) reflector with modern design, supports zone based reflection and IPv6

C 204 17 Updated Sep 14, 2023

Go client with types and tests for the Proxmox-VE REST API

Go 198 62 Updated Jun 14, 2025

Cluster API Provider for Proxmox VE (CAPMOX)

Go 291 42 Updated Jun 25, 2025

Cluster API provider implementation for Proxmox VE

Go 143 15 Updated May 26, 2025

Crossplane provider for ProxmoxVE.

Go 16 2 Updated Dec 28, 2023

The Emmy Computer Algebra System.

Clojure 434 25 Updated Jun 18, 2025

Collection of dhall packages

Dhall 44 9 Updated Dec 15, 2023

Formalising the WASM spec in Lean

Lean 23 1 Updated Jun 22, 2024

A WebAssembly implementation in Lean4

Lean 34 4 Updated Dec 13, 2023

A set of Rust mini apps compiling to wasm, rendering tweens

Rust 19 Updated Jan 23, 2024

vyos tailscale but with github actions to build

Makefile 5 2 Updated Nov 1, 2024

Experiments about running Haskell via WebAssembly on Fastly

Haskell 40 1 Updated Mar 9, 2023

A secrets management service that uses Tailscale for access control

Go 306 10 Updated Jun 11, 2025

HomeKit Library for the Arduino-ESP32

C++ 1,865 166 Updated Jun 10, 2025

LlamaIndex is the leading framework for building LLM-powered agents over your data.

Python 42,552 6,109 Updated Jun 24, 2025
Next
0