Skip to content
View alanwang67's full-sized avatar

Block or report alanwang67

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results
Python 1,100 81 Updated Dec 18, 2025

Graft is an open-source transactional storage engine optimized for lazy, partial, and strongly consistent replication—perfect for edge, offline-first, and distributed applications.

Rust 1,371 24 Updated Dec 19, 2025

Zuul is a gateway service that provides dynamic routing, monitoring, resiliency, security, and more.

Java 13,957 2,434 Updated Dec 17, 2025

Awesome resources for GPUs

603 57 Updated Jul 1, 2023

code for deep learning courses

Jupyter Notebook 1,240 333 Updated Dec 12, 2025

Labs on distributed transaction

Go 241 97 Updated Jan 26, 2022

cuTile is a programming model for writing parallel kernels for NVIDIA GPUs

Python 1,620 83 Updated Dec 19, 2025

Some notes on things I find interesting and important.

JavaScript 2,094 180 Updated Dec 17, 2025

A curated list of resources on operating system design and implementation.

186 11 Updated Jun 5, 2024

The filesystem for agents.

Rust 1,098 60 Updated Dec 18, 2025

Comparisons of HEIR with other compilers

MLIR 2 Updated Dec 16, 2025

Library for reading and writing large multi-dimensional arrays.

C++ 1,468 137 Updated Dec 16, 2025

A high performance layer 4 load balancer

C 5,130 529 Updated Dec 18, 2025

The Art of Debugging

Python 1,186 60 Updated Dec 10, 2025

A compiler for homomorphic encryption

C++ 626 109 Updated Dec 19, 2025

MLIR For Beginners tutorial

C++ 1,168 111 Updated Jul 18, 2025

Vitess is a database clustering system for horizontal scaling of MySQL.

Go 20,574 2,284 Updated Dec 19, 2025

Tutorial to write a Ruby JIT

Ruby 186 17 Updated Aug 15, 2024

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Lean 767 103 Updated Dec 18, 2025

🧠 Cognitive load is what matters

11,819 280 Updated Nov 17, 2025

Machine Learning Engineering Open Book

Python 16,063 987 Updated Dec 10, 2025

A storage solution for PyTorch tensors with distributed tensor support.

Python 47 6 Updated Dec 18, 2025

High-performance data engine for AI and multimodal workloads. Process images, audio, video, and structured data at any scale

Rust 5,006 364 Updated Dec 19, 2025

Fil-C: completely compatible memory safety for C and C++

2,793 56 Updated Dec 18, 2025

Techniques and numbers for estimating system's performance from first-principles

Rust 4,712 192 Updated Sep 15, 2024

Fast key-value DB in Go.

Go 15,278 1,265 Updated Dec 16, 2025

Extremely fast Query Engine for DataFrames, written in Rust

Rust 36,605 2,521 Updated Dec 18, 2025

The Modular Platform (includes MAX & Mojo)

Mojo 25,367 2,743 Updated Dec 18, 2025

Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Submit issues and PRs here.

Lean 104 3 Updated Nov 23, 2025
Next