Shlw

Shlw's Stars

• 996icu/996.ICU

  Repo for counting stars and contributing. Press F to pay respect to glorious developers.

  270k4.2k021.1k

• github/gitignore

  A collection of useful .gitignore templates

  164k3.4k083.1k

• 3b1b/manim

  Animation engine for explanatory math videos

  Language:Python73.8k9111.2k6.4k

• formulahendry/955.WLB

  955 不加班的公司名单 - 工作 955，work–life balance (工作与生活的平衡)

  34.8k7162621.8k

• microsoft/SEAL

  Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.

  Language:C++3.7k94575712

• homenc/HElib

  HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizations for efficient homomorphic evaluation, focusing on effective use of ciphertext packing techniques and on the Gentry-Halevi-Smart optimizations.

  Language:C++3.2k191371770

• gpoore/minted

  minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using fancyvrb.

  Language:TeX1.8k20414128

• klange/nyancat

  Nyancat in your terminal, rendered through ANSI escape sequences. This is the source for the Debian package `nyancat`.

  Language:C1.5k3516138

• CasperVector/pkuthss

  LaTeX template for dissertations in Peking University

  Language:TeX5481487187

• klange/ponyos

  My Little Unix: Kernels are Magic!

  Language:C51846048

• dhanus/graduate-fellowships

  A list of resources to fund your MS and/or PhD, particularly in computer science.

  20114016

• 2prime/Paper-Reading

  Paper Reading

  738015

• ielashi/eltetris

  Tetris AI

  Language:JavaScript53037

• lsrcz/mini-prover

  Term project for TaPL. A mini coq-like proof assistant.

  Language:Haskell17301

• kyeremalprime/command-line-translate

  shell translate

  Language:PHP93113

• Shlw/LowPoly

  Term project of Practice of Programming in C&C++(Honor Track)

  Language:Python4300

• Shlw/Naive-SAT-Solver

  Term project of Logic and Program Verification

  Language:Python2100

• liangjs/Equestrotopia

  Progressive Photon Mapping

  Language:C++1310