Stars
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
The most powerful and modular diffusion model GUI, api and backend with a graph/nodes interface.
A curated awesome list of lists of interview questions. Feel free to contribute! 🎓
Novel Coronavirus (COVID-19) Cases, provided by JHU CSSE
Spotify for the terminal written in Rust 🚀
A machine learning-based video super resolution and frame interpolation framework. Est. Hack the Valley II, 2018.
Architecture decision record (ADR) examples for software planning, IT leadership, and template documentation
Diffusion Bee is the easiest way to run Stable Diffusion locally on your M1 Mac. Comes with a one-click installer. No dependencies or technical knowledge needed.
Drogon: A C++14/17/20 based HTTP web application framework running on Linux/macOS/Unix/Windows
Like cURL, but for gRPC: Command-line tool for interacting with gRPC servers
A reference containing Styles and Keywords that you can use with MidJourney AI. There are also pages showing resolution comparison, image weights, and much more!
Open-Source Web UI for Apache Kafka Management
Portfolio analytics for quants, written in Python
The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming
Тимлид – это ❄️, потому что в каждой компании он уникален и неповторим.
ZIO — A type-safe, composable library for async and concurrent programming in Scala
🖥 Windows Bootable USB creator for macOS. 🛠 Patches Windows 11 to bypass TPM and Secure Boot requirements. 👾 UEFI & Legacy Support
Automatically edits vidx. Explanation here: https://www.youtube.com/watch?v=DQ8orIurGxw
A free Desktop Mate alternative with a lightweight interface and custom VRM support, though with more features.
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Script to test single core stability, e.g. for PBO & Curve Optimizer on AMD Ryzen or overclocking/undervolting on Intel processors
Slides and other materials for functional programming lectures ITMO university
A gently curated list of companies using verification formal methods in industry
Документация для Тинькофф Инвестиции OpenApi
Don't Fear the Profunctor Optics!
ScalikeJDBC Extension: Non-blocking APIs in the JDBC way