noghartt

noghartt's Stars

• prometheus/prometheus

  The Prometheus monitoring system and time series database.

  Language:Go56.8k1.1k5.9k9.3k

• etcd-io/etcd

  Distributed reliable key-value store for the most critical data of a distributed system

  Language:Go48.2k1.3k6.8k9.8k

• kovidgoyal/calibre

  The official source code repository for the calibre ebook manager

  Language:Python20.3k38302.3k

• terrastruct/d2

  D2 is a modern diagram scripting language that turns text to diagrams.

  Language:Go19.2k731.1k485

• esphome/esphome

  ESPHome is a system to control your ESP8266/ESP32 by simple yet powerful configuration files and control them remotely through Home Automation systems.

  Language:C++8.8k1752683.8k

• alufers/mitmproxy2swagger

  Automagically reverse-engineer REST APIs via capturing traffic

  Language:HTML8.4k2939300

• jepsen-io/jepsen

  A framework for distributed systems verification, with fault injection

  Language:Clojure6.9k192246723

• drk1wi/portspoof

  Portspoof

  Language:Makefile2.1k5438174

• Olshansk/postgres_for_everything

  How to reduce complexity and move faster? Just Postgres for everything.

  1.5k20049

• tikv/pprof-rs

  A Rust CPU profiler implemented with the help of backtrace-rs

  Language:Rust1.4k2083108

• facebookincubator/Glean

  System for collecting, deriving and working with facts about source code.

  Language:Hack1.1k262949

• archseer/enigma

  An Erlang VM implementation in Rust

  Language:Rust1.1k552941

• madsim-rs/madsim

  Magical Deterministic Simulator for distributed systems in Rust.

  Language:Rust72895849

• arkworks-rs/algebra

  Libraries for finite field, elliptic curve, and polynomial arithmetic

  Language:Rust67623312261

• flyingmutant/rapid

  Rapid is a modern Go property-based testing library

  Language:Go60286025

• raphamorim/gameboy

  Gameboy Emulator written in Rust and WebAssembly. 8-bit microprocessor: Sharp LR35902.

  Language:Rust5714212

• Kegworks-App/Kegworks

  A user-friendly tool used to make wine wrapped ports of Windows software for macOS.

  3927379

• sockmaster27/svader

  Create GPU-rendered Svelte components

  Language:Svelte302103

• 3DTopia/MaterialAnything

  Material Anything: Generating Materials for Any 3D Object via Diffusion

  Language:Python25023612

• buroa/k8s-gitops

  Husband-approved geeked homelab k8s cluster deployed with Talos Linux; automated via Flux, Renovate and GitHub Actions 🤖

  Language:YAML20751514

• wyfcyx/osnotes

  Some notes or translations about operating system or programming language.

  Language:C964113

• will62794/tla-web

  Interactive, web-based environment for exploring and visualizing TLA+ specifications.

  Language:TLA905497

• j3sch/logseq-clipper

  A browser extension for capturing web content directly into your Logseq graph. Adapted from Obsidian's Web Clipper.

  Language:TypeScript623

• clo4/ghostty-hm-module

  Home Manager module for the Ghostty terminal emulator

  Language:Nix51114

• singh47/huelogs

  Minimilistic Log Moniitoring System

  Language:HTML152

• bollu/CASette

  Mixtape of computer algebra system (CAS) algorithms

  Language:Lean530

• unikraft/catalog-core

  Catalog of applications using first principles tools

  Language:Shell441312

• PoorlyDefinedBehaviour/formal-methods

  Studying the use of formal methods to specify distributed systems

  Language:TLA310

• briefercloud/pino-slack-transport

  Pino logger Slack transport

  Language:TypeScript2

• garretcarrot/kvstore

  Simple replicated key-value store

  Language:Scala1200