Pinned Loading

1. managarr managarr Public

   A TUI and CLI for managing *arr servers. Built with 🤎 in Rust

   Rust 393 4

2. alerting-api alerting-api Public

   A simple API for a dynamic, reactive alerting system (minus the notification component).

   Kotlin

3. aws-cloud-gaming aws-cloud-gaming Public

   A bash-backed TUI to deploy, connect, and stream games from an AWS EC2 spot instance via Steam link.

   Shell 1

4. dynamodb-dax-benchmarker dynamodb-dax-benchmarker Public

   A CLI tool for simulating heavy usage against DynamoDB + DAX and publishing metrics to an Elastic Stack for analysis

   Rust

5. cp_sat cp_sat Public

   Forked from KardinalAI/cp_sat

   Google CP-SAT solver Rust bindings

   Rust

6. real-analysis-theorems-and-definitions real-analysis-theorems-and-definitions Public

   A packet of all the theorems and definitions in the Introduction to Real Analysis textbook by Bartle and Sherbert, to aid in writing proofs

   TeX