Shlw

followers

following

stars

China

Kewen Wu's starred repositories

996.ICU

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

NOASSERTION269568 42220

gitignore

A collection of useful .gitignore templates

CC0-1.0160178 33650

manim

Animation engine for explanatory math videos

Language:PythonMIT61148 883 1129

955.WLB

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

SEAL

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

Language:C++MIT3482 94 558

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++NOASSERTION3114 192 367

minted

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

Language:TeX1733 22 390

nyancat

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

Language:C1444 36 16

pkuthss

LaTeX template for dissertations in Peking University

Language:TeX528 14 85

ponyos

My Little Unix: Kernels are Magic!

Language:CNCSA508 460

graduate-fellowships

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

Paper-Reading

Paper Reading

MIT72 80

eltetris

Tetris AI

Language:JavaScript5202

mini-prover

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

Language:HaskellBSD-3-Clause16 30

command-line-translate

shell translate

Language:PHP9 3 1

LowPoly

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

Language:Python4 30

Naive-SAT-Solver

Term project of Logic and Program Verification

Language:Python2 10

Equestrotopia

Progressive Photon Mapping

Language:C++1 3 1