-
-
peps Public
Forked from python/pepsPython Enhancement Proposals
reStructuredText UpdatedMar 2, 2026 -
tree-sitter Public
Forked from tree-sitter/tree-sitterAn incremental parsing system for programming tools
Rust MIT License UpdatedFeb 28, 2026 -
csharplang Public
Forked from dotnet/csharplangThe official repo for the design of the C# programming language
C# UpdatedFeb 27, 2026 -
KEEP Public
Forked from Kotlin/KEEPKotlin Evolution and Enhancement Process
Markdown Apache License 2.0 UpdatedFeb 27, 2026 -
swift-evolution Public
Forked from swiftlang/swift-evolutionThis maintains proposals for changes and user-visible enhancements to the Swift Programming Language.
Markdown Apache License 2.0 UpdatedFeb 27, 2026 -
CPython-Internals Public
Forked from zpoint/CPython-InternalsDive into CPython internals, trying to illustrate every detail of CPython implementation
C UpdatedFeb 3, 2026 -
OI-wiki Public
Forked from OI-wiki/OI-wiki🌟 Wiki of OI / ICPC for everyone. （某大型游戏线上攻略，内含炫酷算术魔法）
TypeScript UpdatedJan 16, 2026 -
-
kotlin-spec Public
Forked from Kotlin/kotlin-specKotlin Language Specification:
Kotlin Apache License 2.0 UpdatedJan 9, 2026 -
PLCT-Weekly Public
Forked from plctlab/PLCT-Weekly软件所PLCT实验室在开源领域的不定期简报
HTML Creative Commons Attribution Share Alike 4.0 International UpdatedJan 7, 2026 -
ghc-proposals Public
Forked from ghc-proposals/ghc-proposalsProposed compiler and language changes for GHC and GHC/Haskell
Python UpdatedJan 5, 2026 -
proposal Public
Forked from golang/proposalGo Project Design Documents
HTML BSD 3-Clause "New" or "Revised" License UpdatedDec 17, 2025 -
minirust Public
Forked from minirust/minirustA precise specification for "Rust lite / MIR plus"
Rust Apache License 2.0 UpdatedDec 12, 2025 -
ocaml-RFCs Public
Forked from ocaml/RFCsDesign discussions about the OCaml language
UpdatedDec 12, 2025 -
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 UpdatedDec 10, 2025 -
-
textbook Public
Forked from cs3110/textbookThe CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
OCaml Other UpdatedAug 15, 2025 -
minimoonbit-public Public
Forked from moonbitlang/minimoonbit-publichttps://taolun.moonbitlang.com/t/topic/890
MoonBit BSD 3-Clause "New" or "Revised" License UpdatedJul 26, 2025 -
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
OCaml Other UpdatedMay 10, 2025 -
fitness-diary Public
Fitness Diary 🥑Fitness 手帳 1つ🥑=1回トレーニングを行った，健康な体を持ってこそ、より良い仕事ができる
-
sofp Public
Forked from winitzki/sofpA free book: "The Science of Functional Programming"
TeX GNU General Public License v2.0 UpdatedApr 14, 2025 -
rfcs Public
Forked from rust-lang/rfcsRFCs for changes to Rust
Markdown Apache License 2.0 UpdatedJan 16, 2025 -
ddia Public
Forked from Vonng/ddia《Designing Data-Intensive Application》DDIA中文翻译
Python Creative Commons Attribution 4.0 International UpdatedDec 10, 2024 -
mypy Public
Forked from python/mypyOptional static typing for Python
Python Other UpdatedOct 9, 2024 -
Essentials-of-Compilation-EoC--python Public
Forked from IUCompilerCourse/python-student-support-codeSupport for for students (Python)
Python MIT License UpdatedOct 7, 2024 -
Essentials-of-Compilation-EoC--racket Public
Forked from IUCompilerCourse/public-student-support-codePublic helper code for p423/p523 students (Racket)
Racket MIT License UpdatedSep 24, 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
{{ message }}