Asciinema

Minimalistic, powerful and extremely customizable Zsh prompt

A guide to bioinformatics data analysis

k0s is the simple, solid & certified Kubernetes distribution that works on any infrastructure: bare-metal, on-premise, edge, IoT devices, public & private clouds. It's 100% open source & free. k0s is easy to install with a single binary and scales well from a single node development environment to a very large production cluster. The deployment is flexible due to zero dependencies and control plane isolation.

fast and secure open-source backup software for windows, mac, and linux

DroneDB allows you to inspect, manage and share aerial data. It provides modern tools for managing aerial data effectively.

the team password manager

Craft elegant data pipes with Meerschaum.

Cloud Native Stream Processor

Lightweight Container Runtime for Kubernetes

Atlantis is a popular open source automation platform for Terraform that leverages an organization’s code repository, such as Git, to streamline and automate Terraform workflows. At its most basic: New Terraform code is introduced as a pull request Atlantis automatically creates a Terraform plan with the new changes. A colleague reviews the pull request, a common development practice. Atlantis will apply the new plan when it receives the command, deploying new cloud infrastructure.

open match connects players from around the world.

Cachix - Nix Binary Cache hosting infrastructure

S2E

Forge: Fast build system for Kubernetes services

The SeaHorn Verification Framework

Lets Students, Educators and Professional Developers create, edit and run self-contained source-only Java programs with unprecedented ease.

A full-featured BDD unit testing framework for dash, bash, ksh, zsh and all POSIX shells, provides features code coverage, mocking, parameterized test, parallel *** and more

codepass - the quickest way to solve your coding errors

this is meta description

Safe code refactoring for modern Python

Black Magic Debug Project Goals: The goal of this project is the creation of an easy to use, mostly plug-and-play, JTAG/SWD debugger for embedded microcontrollers. The project focuses on profession...

Connect like there is no firewall. Securely.

A fast monorepo build tool for Javascript, Typescript and more

Velociraptor is an npm-style script runner for Deno. It comes with out-of-the-box support for declarative Deno options, env vars, concurrency and git hooks.

Turning off certificate validation with Java instrumentation ...

Akku.scm - Scheme package manager

DBLSQD is a release + update server for desktop and mobile apps. Powerful SDKs. Compatible with Sparkle, Squirrel. Integrations for Electron, Qt and more.

Overview The MatchFunction is a service that implements the core matchmaking logic. A MatchFunction accepts a MatchProfile and should return Match proposals for this MatchProfile. The MatchFunction typically performs the following tasks: Queries Tickets for each Pool in the MatchProfile (Open Match provides a helper library for this). Uses these Tickets to generate Proposals (The MatchProfile can also describe the shape of a match using the Roster Field). Streams the Proposals back to Open Match.