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.
Kubernetes performance and scale test orchestration framework written in golang
Modern, advanced, portable, multiprotocol bootloader and boot manager. (Official mirror of https://codeberg.org/Limine/Limine)
Source code for @newrelic docs. We welcome pull requests and questions on our docs!
Open source IaC Automation and Collaboration Software.
Generate a compile_commands.json from a Bazel workspace
Terraform provider for SAP BTP
A data source plugin for loading JSON APIs into Grafana.
Bee is a Swarm client implemented in Go. It’s the basic building block for the Swarm network: a private; decentralized; and self-sustaining network for permissionless publishing and access to your (application) data.
Accomplish™ (formerly Openwork) is the open source Al coworker that lives on your desktop
A command-line tool to manage and play DOS games via DOSBox
🤖 Icon Pack for Android
Tools and scripts for Google Compute Engine images.
FeedFlow is a minimalistic RSS Reader available on Android, iOS, macOS, Windows and Linux. Built with Kotlin Multiplatform, Jetpack Compose and SwiftUI.
Kikusan is the glue between navidrome and youtube music.
Network discovery backends for Orb Agent, developed by NetBox Labs