![linux logo](https://raw.githubusercontent.com/github/explore/80688e429a7d4ef2fca1e82350fe8e3517d3494d/topics/linux/linux.png)
Highlights
- Pro
Block or Report
Block or report highcloud100
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLists (5)
Sort Name ascending (A-Z)
Language
Sort by: Recently starred
Starred repositories
A collection of TLA⁺ specifications of varying complexities
Collaborative book Machine Learning Systems
These are the best resources for System Design on the Internet
A model checker for implementing distributed systems.
a research paper for generative cartoon interpolation
Hyprland is a highly customizable dynamic tiling Wayland compositor that doesn't sacrifice on its looks.
JVector: the most advanced embedded vector search engine
A simple, fast, embeddable, persistent key/value store written in pure Go. It supports fully serializable transactions and many data structures such as list, set, sorted set.
TerminalTextEffects (TTE) is a terminal visual effects engine, application, and Python library.
Distributed in-memory object store. It can be used as an embedded Go library and a language-independent service.
Easy to maintain open source documentation websites.
A self-hosted dashboard that puts all your feeds in one place
llama3 implementation one matrix multiplication at a time
Liberxue blog for lightweight Jekyll themes 轻量级自适应 简洁 卡片式博客主题 3秒搞定GitHub blog
A good looking terminal emulator which mimics the old cathode display...
Deep Reinforcement Learning: Zero to Hero!
A collection of resources about databases and related topics
Multitouch gestures with libinput driver on Linux
A minimal GPU design in Verilog to learn how GPUs work from the ground up
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.