Giters
Theo Wang (theo-chengkai-wang)

theo-chengkai-wang

Geek Repo

13

followers

36

following

102

stars

Github PK Tool:Github PK Tool

Theo Wang's starred repositories

computer-science

🎓 Path to a free self-taught education in Computer Science!

License:MITStargazers:170713Issues:5778Issues:640

Mr.-Ranedeer-AI-Tutor

A GPT-4 AI Tutor Prompt for customizable personalized learning experiences.

Stargazers:28604Issues:345Issues:46

Xray-core

Xray, Penetrates Everything. Also the best v2ray-core, with XTLS support. Fully compatible configuration.

Language:GoLicense:MPL-2.0Stargazers:24678Issues:325Issues:2171

The-Art-of-Linear-Algebra

Graphic notes on Gilbert Strang's "Linear Algebra for Everyone"

Language:PostScriptLicense:CC0-1.0Stargazers:17795Issues:147Issues:14

mamba

Mamba SSM architecture

Language:PythonLicense:Apache-2.0Stargazers:12750Issues:101Issues:513

outlines

Structured Text Generation

Language:PythonLicense:Apache-2.0Stargazers:8187Issues:47Issues:553

pdfs

Technically-oriented PDF Collection (Papers, Specs, Decks, Manuals, etc)

Language:HTMLStargazers:7547Issues:428Issues:10

REALITY

THE NEXT FUTURE

Language:GoLicense:MPL-2.0Stargazers:3432Issues:54Issues:0

shadowsocks

shadowsocks.wiki

Stargazers:3104Issues:157Issues:0

Xray

最好用的 Xray 一键安装脚本 & 管理脚本

Language:ShellLicense:GPL-3.0Stargazers:1370Issues:12Issues:70

rouille

Rust programming, in French.

Language:RustLicense:NOASSERTIONStargazers:1355Issues:11Issues:12

openqasm

Quantum assembly language for extended quantum circuits

Language:PythonLicense:Apache-2.0Stargazers:1216Issues:84Issues:226

V2RayXS

GUI for xray-core on macOS

Language:Objective-CLicense:GPL-3.0Stargazers:989Issues:9Issues:68

bolt

Bolt is a language with in-built data-race freedom!

Language:OCamlLicense:MITStargazers:564Issues:11Issues:138

pprintpp

pprint++: a drop-in replacement for pprint that's actually pretty

Language:PythonLicense:NOASSERTIONStargazers:408Issues:11Issues:15

pytorch-cifar-models

Pretrained models on CIFAR10/100 in PyTorch

Language:PythonLicense:BSD-3-ClauseStargazers:307Issues:1Issues:17

path_semantics

A research project in path semantics, a re-interpretation of functions for expressing mathematics

Language:RustLicense:MITStargazers:162Issues:19Issues:101

catgrad

a categorical deep learning compiler

Language:PythonLicense:MITStargazers:106Issues:8Issues:2

cambridge-maths-notes

LaTeX sources for notes for the maths courses at Cambridge.

Language:TeXStargazers:93Issues:4Issues:3

metaocaml-bibliography

MetaML and MetaOCaml bibliography

Stargazers:85Issues:16Issues:0

spox

Pythonic framework for building ONNX graphs

Language:PythonLicense:BSD-3-ClauseStargazers:68Issues:8Issues:51

descend

An attempt at safe imperative GPU programming.

Language:RustLicense:MITStargazers:25Issues:3Issues:17

wireguard_cloud

Describing the step to have your own VPN service on the cloud

Stargazers:23Issues:3Issues:1

MGS-categorical-realizability

Lecture notes and exercises for the advanced course on categorical realizability at the Midlands Graduate School (MGS) 2024

Language:TeXStargazers:20Issues:1Issues:0

ein

Embedding Pointful Array Programming in Python

Language:PythonLicense:GPL-2.0Stargazers:13Issues:0Issues:0

lec_notes

lecture notes that I wished were available somewhere

Language:TeXStargazers:13Issues:1Issues:0

template-quantum

Language:TeXStargazers:10Issues:2Issues:0

lys_language

Part II Project 2022/2023: Type-safe multi-stage programming with Lys

Language:Jupyter NotebookLicense:MITStargazers:5Issues:2Issues:67

eva

Eva -- A strongly-typed polymorphic strict purely functional reactive programming language with modalities from guarded recursion and linear temporal logic.

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

mlsub

Part II Project: A compiler for a variant of ML with subtyping

Language:OCamlLicense:BSD-3-ClauseStargazers:1Issues:2Issues:0