Stars
slotd is a lightweight, Rust-based job scheduler inspired by Slurm, designed for single-node, single-user workloads.
Cloud Run External Metrics Autoscaling (CREMA) leverages KEDA to provide autoscaling for Cloud Run services and worker pools based on external metrics (such as Kafka lag, Pub/Sub queue depth, or Pr…
A security-focused library OS supporting kernel- and user-mode execution
Implementation of the Cedar Policy Language
Opam repository for the development version of Jane Street packages
A collection of formalized statements of conjectures in Lean.
A self-hosted dashboard that puts all your feeds in one place
A markup-based typesetting system that is powerful and easy to learn.
Build and use highly customized and ultra-lightweight unikernel VMs.
A third-party implementation of Relational Lenses and Incremental Relational Lenses as of 2017
Network Sketcher generates network configuration diagrams in PowerPoint and manages configuration information in Excel. With AI (LLM) integration, it supports network design creation and updates vi…
Ganeti is a virtual machine cluster management tool built on top of existing virtualization technologies such as Xen or KVM and other open source software.
tfcmt enhances mercari/tfnotify in many ways, including Terraform >= v0.15 support and advanced formatting options