theo-chengkai-wang

theo-chengkai-wang's Stars

• descend-lang/descend

  An attempt at safe imperative GPU programming.

  Language:Rust201

• theo-chengkai-wang/lys_language

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

  Language:Jupyter Notebook5

• jbachurski/ein

  Embedding Pointful Array Programming in Python

  Language:Python9

• openqasm/openqasm

  Quantum assembly language for extended quantum circuits

  Language:Python1.2k313

• statusfailed/catgrad

  a categorical deep learning compiler

  Language:Python921

• tomdjong/MGS-categorical-realizability

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

  Language:TeX195

• tpn/pdfs

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

  Language:HTML7.3k1.4k

• advancedresearch/path_semantics

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

  Language:Rust15913

• bnjbvr/rouille

  Rust programming, in French.

  Language:Rust1.3k160

• wolever/pprintpp

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

  Language:Python40721

• JushBJJ/Mr.-Ranedeer-AI-Tutor

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

  28.1k3.2k

• Shadowsocks-Wiki/shadowsocks

  shadowsocks.wiki

  3.1k524

• state-spaces/mamba

  Mamba SSM architecture

  Language:Python11.8k984

• outlines-dev/outlines

  Structured Text Generation

  Language:Python7.3k374

• ossu/computer-science

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

  166k21k

• tikzit/template-quantum

  Language:TeX103

• XTLS/REALITY

  THE NEXT FUTURE

  Language:Go3.2k289

• tzmax/V2RayXS

  GUI for xray-core on macOS

  Language:Objective-C96178

• XTLS/Xray-core

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

  Language:Go23.1k3.7k

• 233boy/Xray

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

  Language:Shell1.3k662

• PratikAghor/lec_notes

  lecture notes that I wished were available somewhere

  Language:TeX131

• agavrel/wireguard_cloud

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

  236

• zeramorphic/cambridge-maths-notes

  LaTeX sources for notes for the maths courses at Cambridge.

  Language:TeX8929

• kenjihiranabe/The-Art-of-Linear-Algebra

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

  Language:PostScript15.9k2k

• metaocaml/metaocaml-bibliography

  MetaML and MetaOCaml bibliography

  834

• Quantco/spox

  Pythonic framework for building ONNX graphs

  Language:Python644

• chenyaofo/pytorch-cifar-models

  Pretrained models on CIFAR10/100 in PyTorch

  Language:Python29051

• mukul-rathi/bolt

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

  Language:OCaml55352

• hei411/eva

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

  Language:Haskell1

• rationalis-petra/mlsub

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

  Language:OCaml1