Beast code in Giters

Yao Liu's starred repositories

TextForCtext

為了《中國哲學書電子化計劃》輸入用

Language:C#1200

SoME_Topics

Collaboration / Topic requests for SoME

NOASSERTION21200

educational

Language:Jupyter NotebookApache-2.0138600

BIG-bench

Beyond the Imitation Game collaborative benchmark for measuring and extrapolating the capabilities of language models

Language:PythonApache-2.0271400

lean3

Lean Theorem Prover

Language:C++Apache-2.0214000

mathlib

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

Language:LeanApache-2.0165700

ega

amateur translation project of Grothendieck's EGA.

Language:TeX30200

translations

some maths papers in English

Language:TeX1600

DeOldify

A Deep Learning based project for colorizing and restoring old images (and video!)

Language:PythonMIT1766800

imagenette

A smaller subset of 10 easily classified classes from Imagenet, and a little more French

Language:Jupyter NotebookApache-2.090500

cifar10-fast

Language:Jupyter NotebookMIT52900

pytorch-cifar

95.47% on CIFAR10 with PyTorch

Language:PythonMIT581300

stacks-project

Repository for the Stacks Project

Language:TeXNOASSERTION82000

pywonderland

A tour in the wonderland of math with python.

Language:PythonMIT417300

fourier

An Interactive Introduction to Fourier Transforms

Language:Jupyter NotebookMIT239800

learnopencv

Learn OpenCV : C++ and Python Examples

Language:Jupyter Notebook2057000

wtf_wikipedia

a pretty-committed wikipedia markup parser

Language:JavaScriptMIT75000

clifford

Geometric Algebra for Python

Language:PythonBSD-3-Clause75000

ganja.js

:triangular_ruler: Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and algebraic literals) -

Language:JavaScriptMIT149400

cocalc

CoCalc: Collaborative Calculation in the Cloud

Language:TypeScriptNOASSERTION113200

function-plot

A 2d function plotter for the web

Language:TypeScriptMIT90000