-
NEUQ -> Keio University
- China.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai
-
06:12
(UTC +09:00) - https://ck76.github.io
-
-
fitness-diary Public
Fitness Diary 🥑Fitness 手帳 1つ🥑=1回トレーニングを行った,健康な体を持ってこそ、より良い仕事ができる
-
minimoonbit-public Public
Forked from moonbitlang/minimoonbit-publichttps://taolun.moonbitlang.com/t/topic/890
Zig BSD 3-Clause "New" or "Revised" License UpdatedSep 11, 2024 -
eopl3_zh Public
Forked from chihyang/eopl3_zhChinese translation of Essential of Programming Languages 3rd Edition
HTML UpdatedSep 10, 2024 -
milewski-ctfp-pdf Public
Forked from hmemcpy/milewski-ctfp-pdfBartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source 🇨🇳翻译 WIP
TeX Other UpdatedSep 9, 2024 -
category-theory-illustrated Public
Forked from abuseofnotation/category-theory-illustratedA book about category theory
HTML UpdatedSep 8, 2024 -
nlab-content-html Public
Forked from ncatlab/nlab-content-htmlA file-based mirror of the nLab wiki (HTML format).
HTML UpdatedSep 8, 2024 -
nlab-content Public
Forked from ncatlab/nlab-contentA file-based mirror of the nLab wiki (Markdown+itex2MML format).
UpdatedSep 8, 2024 -
kotlin Public
Forked from JetBrains/kotlinThe Kotlin Programming Language.
Kotlin UpdatedSep 3, 2024 -
cpython Public
Forked from python/cpythonThe Python programming language
Python Other UpdatedSep 3, 2024 -
scala3 Public
Forked from scala/scala3The Scala 3 compiler, also known as Dotty.
Scala Apache License 2.0 UpdatedSep 3, 2024 -
-
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 th…
Haskell Other UpdatedSep 3, 2024 -
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
OCaml Other UpdatedSep 3, 2024 -
rustc-dev-guide Public
Forked from rust-lang/rustc-dev-guideA guide to how rustc works and how to contribute to it.
HTML Apache License 2.0 UpdatedAug 31, 2024 -
-
A textbook on informal homotopy type theory 🇨🇳通过ChatGPT翻译
-
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 lis…
C UpdatedAug 28, 2024 -
DaoFP Public
Forked from BartoszMilewski/DaoFPThe Dao of Functional Programming WIP🇨🇳通过ChatGPT翻译
TeX UpdatedAug 27, 2024 -
grokking-monad Public
Forked from jcouyang/grokking-monad购买 👉 https://gum.co/grokking-monad 在线阅读 👉
TeX UpdatedAug 27, 2024 -
sofp Public
Forked from winitzki/sofpA free book: "The Science of Functional Programming"
TeX GNU General Public License v2.0 UpdatedAug 22, 2024 -
textbook Public
Forked from cs3110/textbookThe CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
OCaml Other UpdatedAug 20, 2024 -
-
mini-typescript Public
Forked from sandersn/mini-typescriptA miniature model of the Typescript compiler, intended to teach the structure of the real Typescript compiler
TypeScript MIT License UpdatedAug 17, 2024 -
elaboration-zoo Public
Forked from AndrasKovacs/elaboration-zooMinimal implementations for dependent type checking and elaboration
Haskell BSD 3-Clause "New" or "Revised" License UpdatedAug 13, 2024 -
xiongyingfei.github.io Public
Forked from xiongyingfei/xiongyingfei.github.ioHTML UpdatedAug 6, 2024 -
PLAI-cn Public
Forked from lotuc/PLAI-cnProgramming Languages: Application and Interpretation
HTML UpdatedAug 5, 2024 -
theorem_proving_in_lean4 Public
Forked from leanprover/theorem_proving_in_lean4Theorem Proving in Lean 4
JavaScript Apache License 2.0 UpdatedJul 31, 2024 -
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 tr…
-