🚣 Raft implementation in Go

A curated list of TLA+ resources.

A collection of TLA⁺ specifications of varying complexities

한컴파일을 LibreOffice에서 읽을 수 있도록 하는 extension입니다.

Collaborative book Machine Learning Systems

🧠 Cognitive Load is what matters

The Little Book of Rust Macros (updated fork)

These are the best resources for System Design on the Internet

The SQL IDE for Your Terminal.

My dotfiles of Linux Environment

A model checker for implementing distributed systems.

a research paper for generative cartoon interpolation

Hyprland is an independent, 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

Grub Themes

A minimal GPU design in Verilog to learn how GPUs work from the ground up