yuxi-liu-wired Goto Github PK

a1111-sd-webui-tagcomplete

Booru style tag autocompletion for AUTOMATIC1111's Stable Diffusion web UI

ai-experiments

Assorted experiments I made with large AI models.

blessed

Blessed is an easy, practical library for making python terminal apps

cs-285_fall2022

Assignments for Berkeley CS 285: Deep Reinforcement Learning (Fall 2022)

cs288-2023-spring

Natural Language Processing, Spring 2023, UC Berkeley

cv_quarto

My personal CV template with Latex and Quarto

git-sandbox

Playground for experimenting with using Git for doing things.

glimpseoflean

An introduction to theorem proving in Lean for the impatient.

gpt-subtrans

Project using OpenAI/ChatGPT to translate subtitle files

grokking-modular-arithmetics

Replication of "Grokking modular arithmetic" (Gromov, 2023)

img2dataset

Easily turn large sets of image urls to an image dataset. Can download, resize and package 100M urls in 20h on one machine.

language_modeling_is_compression

lean-experiments

Experiments with Lean Prover 4

learnxinyminutes-docs

Code documentation written as code! How novel and totally my idea!

mamba

The Fast Cross-Platform Package Manager

mathematics_in_lean

The user home repository for the Mathematics in Lean tutorial.

mathematics_in_lean_source

Source code for the Mathematics in Lean tutorial.

mathlib4

The math library of Lean 4

mc-aixi-ctw

Monte Carlo AIXI agent with context tree weighting

overthewire

Game files for OverTheWire

project-euler

Collection of Project Euler attempts.

project-euler-js-website

Starter pack for Project Euler. Written in Javascript, running on node.js, locally hosted in an aesthetically elegant website.

scaling-law-by-data-manifold

Scaling law by data manifold.

scaling-law-research

statopolis

Java implementation of the boardgame Stratopolis.

utils

Utilities I use

webdev-experiments

Educational experiments with web development.

yuxi-liu-wired.github.io

Yuxi Liu's personal website