Stars
Make typesetting LaTeX as fast as handwriting through snippets, text expansion, and editor enhancements
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…
😌 Automatically detects and crops faces from batches of pictures.
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
Create beautiful diagrams just by typing notation in plain text.
A tutorial for manim, a mathematical animation engine made by 3b1b
A Learning Environment for Theorem Proving with the Coq proof assistant
Agda is a dependently typed programming language / interactive theorem prover.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
Lean 4 programming language and theorem prover
超级速查表 - 编程语言、框架和开发工具的速查表，单个文件包含一切你需要知道的东西 ⚡
Vundle, the plug-in manager for Vim
关于domain generalization，domain adaptation，causality，robutness，prompt，optimization，generative model各式各样研究的阅读笔记
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
As part of the COVID-19 Host Genetics Global initative, this repo serves to corroborate sample scripts for sequencing QC.
A beautiful, simple, clean, and responsive Jekyll theme for academics
Official code for Score-Based Generative Modeling through Stochastic Differential Equations (ICLR 2021, Oral)
Prevent PyTorch's `CUDA error: out of memory` in just 1 line of code.
Automatic backups from Roam Research into your private GitHub repo
Now we have become very big, Different from the original idea. Collect premium software in various categories.
Release for Improved Denoising Diffusion Probabilistic Models