Docker hosts and containers monitoring with Prometheus, Grafana, cAdvisor, NodeExporter and AlertManager
- docker
- monitoring
- prometheus
- alertmanager
Repository Index
47,133 repositories indexed
97–120 of 766 · Most stars
Methods to allow using HTML code with CoreText
A Rails engine that helps you put together a super-flexible admin dashboard.
- ruby
- rails
- admin-dashboard
Blackbox prober exporter
- blackbox-exporter
- icmp
- prometheus-exporter
- prometheus
A horizontally scalable, highly available, multi-tenant, long term Prometheus.
TinyXML2 is a simple, small, efficient, C++ XML parser that can be easily integrated into other programs.
The Kalibr visual-inertial calibration toolbox
- camera
- calibration
- calibration-toolbox
- imu
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
Github.com/CryptoSignal - Trading & Technical Analysis Bot - 4,100+ stars, 1,100+ forks
Perceptual video quality assessment based on multi-method fusion.
High-performance TensorFlow library for quantitative finance.
OctoLinker — Links together, what belongs together
- github
- productivity
- octolinker
- github-extension
A clean, Markdown-based publishing platform made for writers. Write together and build a community.
- writing
- publishing
- blogging
- web-application
Brings SQL and AI together.
- sqlflow
- sql-syntax
- ai
- transpiler
M3 monorepo - Distributed TSDB, Aggregator and Query Engine, Prometheus Sidecar, Graphite Compatible, Metrics Platform
- prometheus
- kubernetes
- graphite
- metrics
A collection of important graph embedding, classification and representation learning papers with implementations.
- graph2vec
- classification-algorithm
- graph-kernels
- weisfeiler-lehman
JSONExport is a desktop application for Mac OS X which enables you to export JSON objects as model classes with their associated constructors, utility methods, setters and getters in your favorite language.
A simple, battle-tested and generic set type for the Go language. Trusted by GoogleCloudPlatform, Docker, 1Password, Ethereum and Hashicorp.
- go
- set
- threadsafe
- datastructures
AI Skills, MCP Tools, and CLI for Unity Engine. Full AI develop and test loop. Use cli for quick setup. Efficient token usage, advanced tools. Any C# method may be turned into a tool by a single line. Works with Claude Code, Gemini, Copilot, Cursor and any other absolutely for free.
- ai
- ai-integration
- game-development
- mcp
Make your functions return something meaningful, typed, and safe!
- python
- python3
- functional-programming
- fp
Anti-laziness skill for AI agents. Core: the Depth Tree method, which splits a task N layers deep and gives every leaf the full time budget of the whole task, so effort multiplies with depth. Grounded in 2025-2026 research on model laziness, underthinking and premature completion.
₿ A guide (for humans!) to cryto-currencies and their algos.
TranslatedFree, open-source screen sharing for private live streams with friends. Watch together in a browser or self-host Piik. It supports game streaming, watching movies together, and self-hosting.
- p2p
- screen-sharing
- self-hosted
- webrtc
A client library for the Arduino Ethernet Shield that provides support for MQTT.