Name: CHENG KUN
Type: User
Company: NEUQ -> Keio University
Bio: 一期一会 Software Engineering is about tradeoffs, there is no one right answer.
Location: China.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai
Blog: https://ck76.github.io
I love to make friends. so if you want to say hi, I'll be happy to meet you more!😊
android-androidframe
Android开发框架
android-jcenterbinarytest
android-neuqsecurity
东大安保
android-yunxiang
awesome-cs
Fullstack Repository
book
A textbook on informal homotopy type theory 🇨🇳通过ChatGPT翻译
books
My slides and notes
c4
C in four functions
category-theory-for-the-sciences
ebook versions of the book "Category Theory for the Sciences" by David I. Spivak
category-theory-illustrated
A book about category theory
cicd-github-actions-demo
ck76
ck76.github.io
My Notebook https://ck76.github.io
cl-cookbook-cn
Common Lisp Cookbook 中文版 (Chinese Version of Common Lisp Cookbook)
compiler-tutorials
compscicabal-smrtyprty
We read computer science books for fun. This is where the secret notes live.
coreutils
upstream mirror
coroutinelite
Simple implementation of kotlinx.coroutines to clarify the design of Kotlin Coroutines.
cpython
The Python programming language
craftinginterpreters_zh
手撸解释器教程《Crafting Interpreters》中文翻译
daofp
The Dao of Functional Programming WIP🇨🇳通过ChatGPT翻译
docker-nana-js-demo-app
elaboration-zoo
Minimal implementations for dependent type checking and elaboration
eopl3
Code from the book "Essentials of Programming Languages", 3rd ed. by Friedman and Wand
eopl3_zh
Chinese translation of Essential of Programming Languages 3rd Edition
fitness-diary
Fitness Diary 🥑Fitness 手帳 1つ🥑=1回トレーニングを行った，健康な体を持ってこそ、より良い仕事ができる
fp-jargon-zh
函数式编程术语及示例。本项目译自 https://github.com/hemanth/functional-programming-jargon
fp-lean
Functional Programming in Lean
fp-lean-zh
Lean 函数式编程
fpk-materials
The projects and materials that accompany the Functional Programming in Kotlin by Tutorials book
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
