A free Desktop Mate alternative with a lightweight interface and custom VRM support, though with more features.

Script to test single core stability, e.g. for PBO & Curve Optimizer on AMD Ryzen or overclocking/undervolting on Intel processors

🖥 Windows Bootable USB creator for macOS. 🛠 Patches Windows 11 to bypass TPM and Secure Boot requirements. 👾 UEFI & Legacy Support

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Chess implemented entirely in the Rust and TS type systems.

The most powerful and modular diffusion model GUI, api and backend with a graph/nodes interface.

Armeria backend for http4s

Open-Source Web UI for Apache Kafka Management

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.

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!

Set up a personal VPN in the cloud

Architecture decision record (ADR) examples for software planning, IT leadership, and template documentation

Investment portfolio and stocks analyzing tools for Python with free historical data

Portfolio analytics for quants, written in Python

ScalikeJDBC Extension: Non-blocking APIs in the JDBC way

Scalafmt plugin for maven

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

A gently curated list of companies using verification formal methods in industry

A Coq-based synthesis of Scala programs which are correct-by-construction

A data access library for Scala + Postgres.

Distributed app tracing implementation in pure scala using cats-effect

Like cURL, but for gRPC: Command-line tool for interacting with gRPC servers

Automatically edits vidx. Explanation here: https://www.youtube.com/watch?v=DQ8orIurGxw

A curated awesome list of lists of interview questions. Feel free to contribute! 🎓

A machine learning-based video super resolution and frame interpolation framework. Est. Hack the Valley II, 2018.

😱 Falsehoods Programmers Believe in

Тимлид – это ❄️, потому что в каждой компании он уникален и неповторим.

Drogon: A C++14/17/20 based HTTP web application framework running on Linux/macOS/Unix/Windows

Novel Coronavirus (COVID-19) Cases, provided by JHU CSSE

Don't Fear the Profunctor Optics!