yuxi-liu-wired Goto Github PK
Name: Yuxi Liu
Type: User
Bio: I do math and science for a greater future.
Name: Yuxi Liu
Type: User
Bio: I do math and science for a greater future.
Booru style tag autocompletion for AUTOMATIC1111's Stable Diffusion web UI
Assorted experiments I made with large AI models.
Blessed is an easy, practical library for making python terminal apps
Chrome Extensions Samples
Assignments for Berkeley CS 285: Deep Reinforcement Learning (Fall 2022)
Natural Language Processing, Spring 2023, UC Berkeley
My personal CV template with Latex and Quarto
Extension that creates dreamcore aesthetic on web pages.
Playground for experimenting with using Git for doing things.
An introduction to theorem proving in Lean for the impatient.
Project using OpenAI/ChatGPT to translate subtitle files
Replication of "Grokking modular arithmetic" (Gromov, 2023)
Easily turn large sets of image urls to an image dataset. Can download, resize and package 100M urls in 20h on one machine.
Experiments with Lean Prover 4
Code documentation written as code! How novel and totally my idea!
The Fast Cross-Platform Package Manager
The user home repository for the Mathematics in Lean tutorial.
Source code for the Mathematics in Lean tutorial.
The math library of Lean 4
Monte Carlo AIXI agent with context tree weighting
Game files for OverTheWire
Collection of Project Euler attempts.
Starter pack for Project Euler. Written in Javascript, running on node.js, locally hosted in an aesthetically elegant website.
Scaling law by data manifold.
Java implementation of the boardgame Stratopolis.
Utilities I use
Educational experiments with web development.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.