Yuxuan-Sun

Yuxuan-Sun's Stars

• jaywcjlove/awesome-mac

   Now we have become very big, Different from the original idea. Collect premium software in various categories.

  Language:JavaScript78.3k1.5k4446.3k

• VundleVim/Vundle.vim

  Vundle, the plug-in manager for Vim

  Language:Vim Script24k6927222.6k

• preservim/nerdtree

  A tree explorer plugin for vim.

  Language:Vim Script19.7k3079781.4k

• skywind3000/awesome-cheatsheets

  超级速查表 - 编程语言、框架和开发工具的速查表，单个文件包含一切你需要知道的东西 :zap:

  Language:Shell11.8k272232.1k

• alshedivat/al-folio

  A beautiful, simple, clean, and responsive Jekyll theme for academics

  Language:HTML11.6k2758911.4k

• hmemcpy/milewski-ctfp-pdf

  Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

  Language:TeX11.1k244164597

• penrose/penrose

  Create beautiful diagrams just by typing notation in plain text.

  Language:TypeScript7.6k119757349

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.9k10310.1k658

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.9k652k437

• poole/hyde

  A brazen two-column theme for Jekyll.

  Language:CSS3.7k671124k

• openai/improved-diffusion

  Release for Improved Denoising Diffusion Probabilistic Models

  Language:Python3.4k120137494

• agda/agda

  Agda is a dependently typed programming language / interactive theorem prover.

  Language:Haskell2.5k645.6k364

• sagemath/sage-archive-2023-02-01

  This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.sagemath.org/ to our new repository on GitHub, https://github.com/sagemath/sage, we have renamed and archived this repository.

  Language:Python2k12736410

• rentruewang/koila

  Prevent PyTorch's `CUDA error: out of memory` in just 1 line of code.

  Language:Python1.8k122863

• yang-song/score_sde

  Official code for Score-Based Generative Modeling through Stochastic Differential Equations (ICLR 2021, Oral)

  Language:Jupyter Notebook1.5k1925208

• artisticat1/obsidian-latex-suite

  Make typesetting LaTeX as fast as handwriting through snippets, text expansion, and editor enhancements

  Language:TypeScript1.5k428157

• yfzhang114/Generalization-Causality

  关于domain generalization，domain adaptation，causality，robutness，prompt，optimization，generative model各式各样研究的阅读笔记

  1.2k481101

• gillescastel/latex-snippets

  Vim + LaTeX snippets setup

  Language:Vim Snippet1.1k2017200

• gap-system/gap

  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra

  Language:GAP825381.8k162

• malhotra5/Manim-Tutorial

  A tutorial for manim, a mathematical animation engine made by 3b1b

  Language:Python696211587

• leblancfg/autocrop

  :relieved: Automatically detects and crops faces from batches of pictures.

  Language:Python6411691121

• vectorgraphics/asymptote

  2D & 3D TeX-Aware Vector Graphics Language

  Language:C5623041894

• princeton-vl/CoqGym

  A Learning Environment for Theorem Proving with the Coq proof assistant

  Language:Coq389153150

• leanprover-community/tutorials

  Some Lean tutorials

  Language:Lean18181160

• everruler12/roam2github

  Automatic backups from Roam Research into your private GitHub repo

  Language:JavaScript15191732

• derekelkins/agda-vim

  Agda interaction in vim

  Language:Vim script129113047

• vios-s/Diff-SCM

  Code for Diff-SCM paper

  Language:Python943011

• mathiesonlab/pg-gan

  Language:Python33149

• covid19-hg/covid19_sequencing

  As part of the COVID-19 Host Genetics Global initative, this repo serves to corroborate sample scripts for sequencing QC.

  Language:HTML12211

• vpilaud/latticesSubwordComplexes

  Language:TeX1