Popular repositories Loading

1. go-8hours go-8hours Public

   A Repository created for learning Golang

   Go 1

2. LeetCode LeetCode Public

   My leetcode More than 1,100 problems have been solved. これまで解決された問題の数は千百を超えている。

   1

3. Golang-Grokking-the-Coding-Interview Golang-Grokking-the-Coding-Interview Public

   Forked from zhiwei-Feng/Golang-Grokking-the-Coding-Interview

   Golang version for "Grokking the Coding Interview: Patterns for Coding Questions"

   Go 1

4. Telegram-Bulk-File-Uploader-Bot Telegram-Bulk-File-Uploader-Bot Public

   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…

   Python 1

5. book book Public

   Forked from HoTT/book

   A textbook on informal homotopy type theory 🇨🇳通过ChatGPT翻译

   TeX 1

6. TAPL-mspertus TAPL-mspertus Public

   Forked from mspertus/TAPL

   Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles

   OCaml 1