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 16 1 Updated Mar 4, 2025

Formalizing nbe in agda

30 1 Updated Nov 22, 2012

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

Go 1,178 74 Updated Mar 4, 2025

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

Emacs Lisp 962 89 Updated Mar 1, 2025

A simple, easy to use PowerShell script to remove pre-installed apps from Windows, disable telemetry, remove Bing from Windows search as well as perform various other changes to declutter and impro…

PowerShell 17,629 770 Updated Feb 25, 2025

JSaddle integration for the GHC Wasm backend

Haskell 15 2 Updated Jan 24, 2025

being some thoughts about introductory mathematics for computer science

TeX 15 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 88 2 Updated Oct 8, 2024

Replace Copilot local AI

TypeScript 1,960 153 Updated May 13, 2024
Haskell 45 4 Updated Feb 11, 2025

Lean documentation authoring tool

Lean 144 16 Updated Mar 3, 2025
Haskell 84 12 Updated Jan 30, 2025

Encrypt Kubernetes Secrets using Hashicorp Vault as the KMS Provider

Go 44 4 Updated Mar 3, 2025

Automated resources sizing tool for containers in kubernetes

Go 357 10 Updated Nov 5, 2024

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

C 196 17 Updated Sep 14, 2023

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

Go 185 51 Updated Feb 8, 2025

Cluster API Provider for Proxmox VE (CAPMOX)

Go 240 35 Updated Mar 4, 2025

Cluster API provider implementation for Proxmox VE

Go 123 15 Updated Mar 3, 2025

Crossplane provider for ProxmoxVE.

Go 16 1 Updated Dec 28, 2023

The Emmy Computer Algebra System.

Clojure 418 25 Updated Oct 29, 2024

Collection of dhall packages

Dhall 44 9 Updated Dec 15, 2023

Formalising the WASM spec in Lean

Lean 19 Updated Jun 22, 2024

A WebAssembly implementation in Lean4

Lean 33 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 4 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 245 7 Updated Feb 5, 2025

HomeKit Library for the Arduino-ESP32

C++ 1,767 160 Updated Mar 1, 2025

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

Python 39,525 5,632 Updated Mar 4, 2025
Next
0