ck76
一期一会 Software Engineering is about tradeoffs, there is no one right answer.
NEUQ -> Keio UniversityChina.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai
Pinned Repositories
Android-Yunxiang
awesome-cs
Fullstack Repository
book
A textbook on informal homotopy type theory 🇨🇳通过ChatGPT翻译
ck76.github.io
My Notebook https://ck76.github.io
fitness-diary
Fitness Diary 🥑Fitness 手帳 1つ🥑=1回トレーニングを行った，健康な体を持ってこそ、より良い仕事ができる
Golang-Grokking-the-Coding-Interview
Golang version for "Grokking the Coding Interview: Patterns for Coding Questions"
LeetCode
My leetcode More than 1,100 problems have been solved. これまで解決された問題の数は千百を超えている。
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
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.
TinnyDouban-golang
TinnyDouban Golang Version A movie management system developed in Java Similar to Douban or IMDB https://www.imdb.com/
ck76's Repositories
ck76/ck76.github.io
My Notebook https://ck76.github.io
ck76/fitness-diary
Fitness Diary 🥑Fitness 手帳 1つ🥑=1回トレーニングを行った，健康な体を持ってこそ、より良い仕事ができる
ck76/book
A textbook on informal homotopy type theory 🇨🇳通过ChatGPT翻译
ck76/category-theory-illustrated
A book about category theory
ck76/cpython
The Python programming language
ck76/DaoFP
The Dao of Functional Programming WIP🇨🇳通过ChatGPT翻译
ck76/elaboration-zoo
Minimal implementations for dependent type checking and elaboration
ck76/eopl3_zh
Chinese translation of Essential of Programming Languages 3rd Edition
ck76/Essentials-of-Compilation-EoC--python
Support for for students (Python)
ck76/Essentials-of-Compilation-EoC--racket
Public helper code for p423/p523 students (Racket)
ck76/ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
ck76/grokking-monad
购买 :point_right: https://gum.co/grokking-monad 在线阅读 :point_right:
ck76/kotlin
The Kotlin Programming Language.
ck76/lua
A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. Please DO NOT send pull requests or any other stuff. All communication should be through the Lua mailing list https://www.lua.org/lua-l.html
ck76/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source 🇨🇳翻译 WIP
ck76/mini-typescript
A miniature model of the Typescript compiler, intended to teach the structure of the real Typescript compiler
ck76/minimoonbit-public
https://taolun.moonbitlang.com/t/topic/890
ck76/mypy
Optional static typing for Python
ck76/nlab-content
A file-based mirror of the nLab wiki (Markdown+itex2MML format).
ck76/nlab-content-html
A file-based mirror of the nLab wiki (HTML format).
ck76/ocaml
The core OCaml system: compilers, runtime system, base libraries
ck76/plts-ayazhafiz
A collection of programming languages and type systems.
ck76/racket
The Racket repository
ck76/ruby
The Ruby Programming Language
ck76/rustc-dev-guide
A guide to how rustc works and how to contribute to it.
ck76/scala3
The Scala 3 compiler, also known as Dotty.
ck76/sofp
A free book: "The Science of Functional Programming"
ck76/textbook
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
ck76/typed-racket
Typed Racket
ck76/xiongyingfei.github.io