Pinned Repositories
acwj
A Compiler Writing Journey
archive-program
The GitHub Archive Program & Arctic Code Vault
awesome-courses
:books: List of awesome university courses for learning Computer Science!
changba-dl
唱吧mp3文件下载器
cheatsheets
fanyi
one-click-sci-hub
TIL
Today I Learned
Turing-Award
Resources about Turing Award winners
wn
An Operating System based on Orange'S
kercker's Repositories
kercker/acwj
A Compiler Writing Journey
kercker/archive-program
The GitHub Archive Program & Arctic Code Vault
kercker/awk
One true awk
kercker/blockly
The web-based visual programming editor.
kercker/bypass-paywalls-chrome
Bypass Paywalls web browser extension for Chrome and Firefox.
kercker/Cbc
This is a mirror of the subversion repository on COIN-OR
kercker/fast
The adaptive interface system for modern web experiences.
kercker/felicette
Satellite imagery for dummies.
kercker/influential-cs-books
Most influential books on Computer Science/programming
kercker/jaamsim
Master repository for Jaamsim source code
kercker/jdk
Read-only mirror of https://hg.openjdk.java.net/jdk/jdk
kercker/js13k2019-yet-another-doom-clone
Yet another doom clone (in 13kb of JavaScript)
kercker/jsprit
jsprit is a java based, open source toolkit for solving rich vehicle routing problems
kercker/l4v
seL4 specification and proofs
kercker/lean4
Lean 4 programming language and theorem prover
kercker/M2
The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
kercker/machine-learning-book
Code Repository for Machine Learning with PyTorch and Scikit-Learn
kercker/mini-typescript
A miniature model of the Typescript compiler, intended to teach the structure of the real Typescript compiler
kercker/networkx
Network Analysis in Python
kercker/paip-lisp
Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"
kercker/post-mortems
A collection of postmortems. Sorry for the delay in merging PRs!
kercker/PythonDataScienceHandbook
Python Data Science Handbook: full text in Jupyter Notebooks
kercker/seL4
The seL4 microkernel
kercker/server_conf
kercker/ts-sql
A SQL database implemented purely in TypeScript type annotations.
kercker/type-challenges
Collection of TypeScript type challenges with online judge
kercker/TypeScript-Compiler-Notes
A repo containing notes about the TypeScript Compiler codebase
kercker/VRP-RL
Reinforcement Learning for Solving the Vehicle Routing Problem
kercker/wavesurfer.js
Navigable waveform built on Web Audio and Canvas
kercker/xv6-riscv
Xv6 for RISC-V