Skip to content
View leo-du's full-sized avatar
  • University of Washington - Seattle

Highlights

  • Pro

Block or report leo-du

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Starred repositories

Showing results

Anthropic's original performance take-home, now open for you to try!

Python 4,098 936 Updated Jan 22, 2026

Nano vLLM

Python 15,007 2,462 Updated Apr 26, 2026

torchcomms: a modern PyTorch communications API

C++ 388 176 Updated Aug 15, 2026
Python 1 Updated Jan 17, 2026

Minimalistic large language model 3D-parallelism training

Python 2,783 327 Updated May 26, 2026
53 3 Updated Jan 30, 2024

End-to-end Generative Optimization for AI Agents

Python 753 59 Updated Jun 17, 2026

Efficent platform for inference and serving local LLMs including an OpenAI compatible API server.

Rust 712 88 Updated Aug 2, 2026

High-quality single file implementation of Deep Reinforcement Learning algorithms with research-friendly features (PPO, DQN, C51, DDPG, TD3, SAC, PPG)

Python 10,274 1,153 Updated Apr 20, 2026

Printable (A4) overview of tactics in Lean 4 for beginners

TeX 32 1 Updated Sep 19, 2024
Python 42 7 Updated Sep 20, 2022

Awesome resources on normalizing flows.

Python 1,637 130 Updated Jul 31, 2026

Exact Hamiltonian Monte Carlo Sampler for Binary Distributions

C++ 11 1 Updated Oct 14, 2015

"Discontinuous Hamiltonian Monte Carlo for sampling discrete parameters" by Akihiko Nishimura, David Dunson, Jianfeng Lu

Jupyter Notebook 29 4 Updated Aug 18, 2018

Implementation of https://srush.github.io/annotated-s4

Python 519 72 Updated Jun 20, 2025

Natural language understanding by probabilistic abduction of a symbolic theory from sentences and logical forms.

C++ 17 4 Updated Jun 13, 2025

An elegant adaptive importance sampling algorithms for simulations of multi-modal distributions (NeurIPS'20)

Jupyter Notebook 42 9 Updated May 20, 2022

A framework to learn cross-lingual word embedding mappings

Python 654 136 Updated Apr 22, 2023

KErnel OPerationS, on CPUs and GPUs, with autodiff and without memory overflows

Python 1,190 78 Updated Jul 17, 2026

RustBoyAdvance-NG is a Nintendo™ Game Boy Advance emulator and debugger, written in the rust programming language.

Rust 670 35 Updated Jun 3, 2026

A CHIP-8 emulator/implementation written in Rust

Rust 38 2 Updated Mar 8, 2016

Rust native ready-to-use NLP pipelines and transformer-based models (BERT, DistilBERT, GPT2,...)

Rust 3,077 249 Updated Jan 13, 2026

💥 Fast State-of-the-Art Tokenizers optimized for Research and Production

Rust 10,970 1,168 Updated Aug 13, 2026

Bayesian Modeling and Probabilistic Programming in Python

Python 9,709 2,271 Updated Aug 13, 2026

Lean 3's obsolete mathematical components library: please use mathlib4

Lean 1,665 289 Updated Jun 28, 2024

A Julia package for disciplined convex programming

Julia 594 123 Updated May 27, 2026

Linear algebra library for Rust.

Rust 4,774 560 Updated Jun 30, 2026

Hydra is a framework for elegantly configuring complex applications

Python 10,600 953 Updated Aug 15, 2026

BLEURT is a metric for Natural Language Generation based on transfer learning.

Python 794 94 Updated Aug 4, 2023
Next