Beast code in Giters

Yongzhao Liao's starred repositories

CS-Notes

:books: 技术面试必备基础知识、Leetcode、计算机操作系统、计算机网络、系统设计

17406200

nand2coq

Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).

Language:Coq5300

LeetCodeAnimation

Demonstrate all the questions on LeetCode in the form of animation.（用动画的形式呈现解LeetCode题目的思路）

Language:Java7520600

cpython

The Python programming language

Language:PythonNOASSERTION6143700

Nand2Tetris

Computer implementation as described in "The Elements of Computing Systems"

Language:Assembly40000

remote-working

收集整理远程工作相关的资料

Language:RubyMIT983300

crystal

The Crystal Programming Language

Language:CrystalApache-2.01926100

996.ICU

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

NOASSERTION26956700

c4

C in four functions

Language:CGPL-2.0955100

Python-Offer

《剑指Offer》面试题Python实现

Language:Python218200

SICP-guile

SICP in Guile & Emacs Lisp

Language:Racket67300

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellNOASSERTION242400

racket

The Racket repository

Language:RacketNOASSERTION474200

resume.github.com

Resumes generated using the GitHub informations

Language:JavaScript6174200

MyAppPlay

一个AppStore，基于 Material Design + MVP + Retrofit +Dagger2+Rx全家桶，基本涵盖了当前 Android 端开发最常用的主流框架，基于此框架可以快速开发一个app。

Language:Java700

spacemacs

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Language:Emacs LispGPL-3.02360800

architect-awesome

后端架构师技术图谱

5955500

SF-zh

《软件基础》中译版 Software Foundations Chinese Translation

Language:HTML91500

fn.py

Functional programming in Python: implementation of missing features to enjoy FP

Language:PythonNOASSERTION334900

pure

Pretty, minimal and fast ZSH prompt

Language:ShellMIT1299900

Projects

:page_with_curl: A list of practical projects that anyone can solve in any programming language.

MIT4473500

sicp

Structure and Interpretation of Computer Programs study notes with exercise solutions

Language:Scheme37000

ChezScheme

Chez Scheme

Language:SchemeApache-2.0691800

500lines

500 Lines or Less

Language:JavaScriptNOASSERTION2918400

Learning-SICP

MIT视频公开课《计算机程序的构造和解释》中文化项目及课程学习资料搜集。

Language:Ruby1091900

computer-science

:mortar_board: Path to a free self-taught education in Computer Science!

MIT16685600