ck76

一期一会 Software Engineering is about tradeoffs, there is no one right answer.

NEUQ -> Keio UniversityChina.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai

Pinned Repositories

acwj-DoctorWkt
A Compiler Writing Journey
Language:C00
Android-Yunxiang
Language:Java1 1 00
awesome-cs
Fullstack Repository
Language:HTML2 1 00
book
A textbook on informal homotopy type theory 🇨🇳通过ChatGPT翻译
Language:TeX1 0 00
fitness-diary
Fitness Diary 🥑Fitness 手帳 1つ🥑=1回トレーニングを行った，健康な体を持ってこそ、より良い仕事ができる
Language:Python2 1 00
Golang-Grokking-the-Coding-Interview
Golang version for "Grokking the Coding Interview: Patterns for Coding Questions"
Language:Go1 0 00
LeetCode
My leetcode More than 1,100 problems have been solved. これまで解決された問題の数は千百を超えている。
1 1 00
TAPL-mspertus
Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles
Language:OCaml10
Telegram-Bulk-File-Uploader-Bot
A Python-based Telegram bot designed to efficiently upload and manage bulk files to a specified group or channel. The bot supports both image and document files, ensures retries on failures, and tracks upload statuses using a SQLite database.
Language:Python1 1 00
TinnyDouban-golang
TinnyDouban Golang Version A movie management system developed in Java Similar to Douban or IMDB https://www.imdb.com/
Language:Go1 1 01

ck76's Repositories

ck76/Android-Yunxiang
Language:Java1 1 00
ck76/Functional-Programming-For-The-Rest-of-Us-Cn
文章《Functional Programming For The Rest of Us》的中文翻译
10
ck76/Golang-Grokking-the-Coding-Interview
Golang version for "Grokking the Coding Interview: Patterns for Coding Questions"
Language:Go1 0 00
ck76/OpenGlLearn
图形学大作业
Language:C10
ck76/Android-AndroidFrame
Android开发框架
Language:Java0 1 00
ck76/Android-JCenterBinaryTest
Language:Java0 1 00
ck76/c4
C in four functions
Language:C0 0
ck76/cicd-github-actions-demo
Language:Java1 0
ck76/coreutils
upstream mirror
ck76/docker-nana-js-demo-app
Language:HTML1 0
ck76/go-demo-s
1 0
ck76/go-Gee-demo-7days
1 0
ck76/go-GeeORM-demo-7days
1 0
ck76/go-gin-example-s
Language:Go1 0
ck76/gopher-lua
GopherLua: VM and compiler for Lua in Go
ck76/grokking-the-object-oriented-design-interview
Language:Python0 0
ck76/HIT-OSLab
S - 哈工大《操作系统》实验
ck76/jp-software-companies
List of software companies in Japan for techies
ck76/leetcode-jiuzhang
Coding interview preparation based on Leetcode
Language:Python0 0
ck76/onion-sites-that-dont-suck
Onion Sites That Don't Suck
Language:C0 0
ck76/openbilibili
存档
Language:Go
ck76/RFC6749.zh-cn
A translation of simplified chinese for RFC 6749-The OAuth 2.0 Authorization Framework. RFC 6749 - OAuth 2.0授权框架简体中文翻译。
ck76/riscv-gnu-toolchain
GNU toolchain for RISC-V, including GCC
Language:C0 0
ck76/source-code
收集一些书的源码，方便自己查找
Language:C0 0
ck76/TAPL-waddlaw
Types and Programming Languages (TAPL)
ck76/ttfp-notes
Notes of Type Theory and Formal Proof : An Introduction
ck76/TypeAndProof
https://openpal.github.io/TypeAndProof/
ck76/TypeFunc
Resources for type theory, functional programming, etc.
ck76/types-and-programming-languages
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
Language:Rust0 0
ck76/wedding
婚礼大屏互动，微信请柬一站式解决方案
Language:JavaScript0 0