Build documentation in multiple repos into one site.

A package for computation in *-algebras with basis

Kong is a command-line parser for Go

CONTRIBUTIONS ONLY: A Go (golang) command line and flag parser

Tvix - A Rust implementation of Nix. Read-only mirror of https://cs.tvl.fyi/depot/-/tree/tvix

A merge-bot for GitLab

An interactive theorem prover based on lambda-tree syntax

An efficient implementation of the higher-order logic programming language Lambda Prolog

A combinatorics library for Julia

HTTP+JSON API hosted inside the 1993 DOOM engine!

Mastering Prometheus, published by Packt

Local deployment tools built with Rust

Jargon from the functional programming world in simple terms!

A golang formatter that fixes long lines

Exact linear algebra functions

Quickly create and run optimised Windows, macOS and Linux virtual machines

Lightweight wrapper to declare that a vector is sorted.

Apache Airflow - A platform to programmatically author, schedule, and monitor workflows

Event-driven Automation Framework for Kubernetes

A Julia package for evaluating distances (metrics) between vectors.

High performance nearest neighbor data structures (KDTree and BallTree) and algorithms for Julia.

VS Code extension for Haskell, powered by haskell-language-server

A CLI for Sloane's On-Line Encyclopedia of Integer Sequences

A simple utility for running exhaustiveness checks on Go "sum types."

Algebraic Data Types generator for the Go programming language

Awesome Emacs Keymap - VSCode emacs keybinding with multi cursor support

The HashiCorp Stack Deployed on AWS with Kubernetes

Multi-Cloud Security Auditing Tool

Prowler is an Open Source Security tool for AWS, Azure, GCP and Kubernetes to do security assessments, audits, incident response, compliance, continuous monitoring, hardening and forensics readines…

Unofficial Microsoft Teams for Linux client