fischerman

fischerman's Stars

• headlamp-k8s/headlamp

  A Kubernetes web UI that is fully-featured, user-friendly and extensible

  Language:TypeScript2.2k152

• rhysd/changelog-from-release

  Simple changelog generator via GitHub releases

  Language:Go8114

• facebookincubator/katran

  A high performance layer 4 load balancer

  Language:C4.7k503

• imsnif/diskonaut

  Terminal disk space navigator 🔭

  Language:Rust2.4k63

• larrytheliquid/Lemmachine

  REST'ful web framework in Agda

  Language:Haskell1266

• AndrewWalsh/openapi-devtools

  Browser extension that generates API specs for any app or website

  Language:TypeScript3.9k71

• yannh/kubeconform

  A FAST Kubernetes manifests validator, with support for Custom Resources!

  Language:Go2.2k121

• jlauinger/go-geiger

  Static code analysis tool to find unsafe usages in Go packages and their dependencies

  Language:Go404

• prometheus-community/avalanche

  Prometheus/OpenMetrics endpoint series generator for load testing.

  Language:Go395105

• digama0/lean4lean

  Lean 4 kernel / 'external checker' written in Lean 4

  Language:Lean694

• google/bindiff

  Quickly find differences and similarities in disassembled code

  Language:Java2.2k135

• rurban/smhasher

  Hash function quality and speed tests

  Language:C++1.8k177

• AmesCornish/buttersink

  Buttersink is like rsync for btrfs snapshots

  Language:Python19418

• grafana/thema

  A CUE-based framework for portable, evolvable schema

  Language:Go22912

• grafana/grok

  Grafana Object Development Kit

  Language:Go501

• anuraghazra/github-readme-stats

  :zap: Dynamically generated stats for your github readmes

  Language:JavaScript68.6k22.6k

• ondrajz/go-callvis

  Visualize call graph of a Go program using Graphviz

  Language:Go5.9k410

• ondrajz/goexplorer

  Interactive overview of Go packages using dynamic visualization.

  Language:JavaScript17312

• vivekjuneja/docker_registry_cli

  Docker Registry CLI - Provides search functionality for Docker Registry (UI and CLI)

  Language:Python4829

• zevenet/nftlb

  nftables load balancer

  Language:C23029

• FiloSottile/age

  A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.

  Language:Go17k499

• cloudflare/ipvs

  Package ipvs allows you to manage Linux IPVS services and destinations

  Language:Go13710

• imuxin/kubectl-watch

  A kubectl plugin to provide a pretty delta change view of being watched kubernetes resources

  Language:Rust613

• zeitgeistlabs/kubernetes-rollout

  Language:Go555

• leanprover-community/aesop

  White-box automation for Lean 4

  Language:Lean19126

• leanprover-community/batteries

  The "batteries included" extended library for the Lean programming language and theorem prover

  Language:Lean240101

• leanprover/vscode-lean4

  Visual Studio Code extension for the Lean 4 proof assistant

  Language:TypeScript15848

• inovex/pgbouncer-vault-sidecar

  Credential management for your Postgres database connections!

  Language:Shell125

• fischerman/awesome-dashboards

  Language:Lean4

• Comcast/Ravel

  Language:Go74