slashbade

slashbade's Stars

• LibraHp/GetQzonehistory

  获取QQ空间发布的历史说说

  Language:Python7.1k506

• math-xmum/gametheory

  Language:Lean31

• slashbade/Dynkin_computations

  Language:Jupyter Notebook1

• ShengzhiWu/EasyPDE

  A powerful and easy-to-use python package for solving partial differential equations.

  Language:Python3

• ShengzhiWu/tooppy

  A powerful topological optimization library for python 3

  Language:Python1

• NUS-Math-Formalization/CalculusSkeleton

  Language:Lean43

• frenzymath/jixia

  A static analysis tool for Lean 4.

  Language:Lean572

• leanprover/SampCert

  SampCert : Verified Differential Privacy

  Language:Lean677

• slashbade/PyLieRepn

  Language:Jupyter Notebook1

• slashbade/Lie_alg_rep

  Language:Lean11

• wordshub/free-font

  大概是2020年最全的免费可商用字体，这里收录的商免字体都能找到明确的授权出处，可以放心使用，持续更新中...

  Language:JavaScript4.7k344

• PatrickMassot/leanblueprint

  plasTeX plugin to build formalization blueprints.

  Language:Python17530

• zhigao2017/Learning-to-optimize-on-SPD-manifolds

  code of the CVPR 2020 paper "Learning to Optimize on SPD Manifolds"

  Language:Python136

• yurrriq/word-processing-in-groups

  :book: Word Processing in Groups

  Language:TeX1

• NUS-Math-Formalization/coxeter

  Language:Lean1215

• masaccio/numbers-parser

  Python module for parsing Apple Numbers .numbers files

  Language:Python21217

• geckmf/PyCox

  Python version of some parts of GAP-CHEVIE

  Language:Python22

• powerline/fonts

  Patched fonts for Powerline users.

  Language:Shell25.8k3.2k

• 9Tribez17/FDM-FVM-FEM-to-solve-2D-Poisson-Equation

  Finite Difference Method, Finite Volume Method and Finite Element Method to solve 2-D Possion's equation.

  Language:MATLAB4

• 9Tribez17/GMC-Image-Denoising-Model

  A novel denoising model based on generalized minimax concave (GMC) penalty. Meanwhile, methods like alternation direction method of multipliers (ADMM), augmented Lagrange multipliers and soft-thresholding operator are introduced to obtain a clean image, compared with total variation (TV) and total generalized variation (TGV) model.

  Language:MATLAB5

• slashbade/symmetric_group_rep

  Language:Python1

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean1.7k355

• rnd-ash/razer-laptop-control

  Project to create driver/software to control performance of razer laptops

  Language:Rust34429

• SartajBhuvaji/Brain-Tumor-Classification-Using-Deep-Learning-Algorithms

  To Detect and Classify Brain Tumors using CNN and ANN as an asset of Deep Learning and to examine the position of the tumor.

  Language:Jupyter Notebook5324

• QUVA-Lab/escnn

  Equivariant Steerable CNNs Library for Pytorch https://quva-lab.github.io/escnn/

  Language:Python38349