47,133 repositories indexed
817–840 of 5,249 · Most stars
Litmus helps SREs and developers practice chaos engineering in a Cloud-native way. Chaos experiments are published at the ChaosHub (https://hub.litmuschaos.io). Community notes is at https://hackmd.io/a4Zu_sH4TZGeih-xCimi3Q
A solid language pack for Vim.
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.
Automatic HTTPS for any Go program: fully-managed TLS certificate issuance and renewal
lakeFS - Data version control for your data lake | Git for data
a high-performance, POSIX-ish Amazon S3 file system written in Go
tun2socks - powered by gVisor TCP/IP stack
✨ PTerm is a modern Go module to easily beautify console output. Featuring charts, progressbars, tables, trees, text input, select menus and much more 🚀 It's completely configurable and 100% cross-platform compatible.
A general purpose HTTP reverse proxy and forwarding tool. Now written in Go!
🔥 Fast, strict, configurable, extensible, and beautiful linter for Go
A concise grammar of interactive graphics, built on Vega.
Python for .NET is a package that gives Python programmers nearly seamless integration with the .NET Common Language Runtime (CLR) and provides a powerful application scripting tool for .NET developers.
An extensible multilanguage static code analyzer.
Proto Actor - Ultra fast distributed actors for Go, C# and Java/Kotlin
A game server framework in Go (golang)
Translated:books: 《Go语言定制指南》 (Go Language Customization Guide) (formerly titled: Introduction to Go Syntax Trees / Open-Source Free Book / Advanced Go / Mastering Abstract Syntax Trees / Go Language AST)
🎉 Flexible invoicing desktop app with beautiful & customizable templates.
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
Golang library for managing configuration data from environment variables
mouse & keyboard sharing via LAN
An android library for section headers that stick to the top
Native Mac APIs for Go. Previously known as MacDriver
:wrench: Utility library for GraphQL to build, stitch and mock GraphQL schemas in the SDL-first approach
Random fake data generator written in go