lbjarre

terraform

Terraform enables you to safely and predictably create, change, and improve infrastructure. It is a source-available tool that codifies APIs into declarative configuration files that can be shared amongst team members, treated as code, edited, reviewed, and versioned.

vault

A tool for secrets management, encryption as a service, and privileged access management

grafana

The open and composable observability and data visualization platform. Visualize metrics, logs, and traces from multiple sources like Prometheus, Loki, Elasticsearch, InfluxDB, Postgres and many more.

mimir

Grafana Mimir provides horizontally scalable, highly available, multi-tenant, long-term storage for Prometheus.

tigerbeetle

The financial transactions database designed for mission critical safety and performance.

git-branchless

High-velocity, monorepo-scale workflow for Git

cue

The home of the CUE language! Validate and define text-based and dynamic configuration

telescope.nvim

Find, Filter, Preview, Pick. All lua, all the time.

telescope-fzf-native.nvim

FZF sorter for telescope written in c

neovim

Vim-fork focused on extensibility and usability

zig

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

ray

Ray is a unified framework for scaling AI and Python applications. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.

traefik

The Cloud Native Application Proxy

penrose

Create beautiful diagrams just by typing notation in plain text.

starlette

The little ASGI framework that shines. 🌟

kubernetes

Production-Grade Container Scheduling and Management

scikit-learn

scikit-learn: machine learning in Python

raytracers

Performance comparison of parallel ray tracing in functional programming languages

miri

An interpreter for Rust's mid-level intermediate representation

cargo

The Rust package manager

rustfmt

Format Rust code

rust

Empowering everyone to build reliable and efficient software.

coq

Coq is a formal proof management system. 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.

typer

Typer, build great CLIs. Easy to code. Based on Python type hints.

fastapi

FastAPI framework, high performance, easy to learn, fast to code, ready for production

pydantic

Data validation using Python type hints

thinc

🔮 A refreshing functional take on deep learning, compatible with your favorite libraries

pip

The Python package installer

roll-bot

hledger

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.