Programming Language Documentations
☆557Jan 28, 2025Updated last year
Alternatives and similar repositories for pl-docs
Users that are interested in pl-docs are comparing it to the libraries listed below
Sorting:
- The YSLib Project (main hg-git mirror) (NOTE: The README document in the repository is missing by design. Please go to the main repositor…☆97Aug 2, 2023Updated 2 years ago
- 中文的C++ Template的教学指南。与知名书籍C++ Templates不同，该系列教程将C++ Templates作为一门图灵完备的语言来讲授，以求帮助读者对Meta-Programming融会贯通。(正在施工中)☆20Nov 25, 2015Updated 10 years ago
- Meta-purpose C++ Foundation☆190Sep 8, 2018Updated 7 years ago
- Proposal for std::intrusive_ptr☆40Apr 30, 2019Updated 6 years ago
- Poseidon Server Framework (refactor WIP)☆167Feb 7, 2023Updated 3 years ago
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆68Jul 9, 2025Updated 7 months ago
- History of type theory (Chinese).☆360May 25, 2025Updated 9 months ago
- 如何安全地使用 Git 的指导方案☆113Mar 6, 2023Updated 2 years ago
- yet another linq implementation in C++☆10Jul 22, 2016Updated 9 years ago
- Zombie chan revive!☆27Feb 27, 2024Updated 2 years ago
- Yet another EGE library☆23Jan 29, 2024Updated 2 years ago
- Cornerstone of the MOST efficient std::thread on Windows for mingw-w64☆308Updated this week
- The Asteria Programming Language☆422Feb 18, 2026Updated last week
- A collection of tools that make a server, which keep crashing.☆12Jul 3, 2017Updated 8 years ago
- A Proxy Server Written in C#☆23Dec 8, 2022Updated 3 years ago
- A utility for running arbitrary commands with administrator access on Windows☆20Jul 3, 2017Updated 8 years ago
- MoonYacc is an LR(1) parser generator for MoonBit programming language.☆21Feb 13, 2026Updated 2 weeks ago
- 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版☆220Updated this week
- The Poseidon Server Framework☆19Feb 18, 2026Updated last week
- My slides and notes☆140May 31, 2023Updated 2 years ago
- ☆19Dec 25, 2017Updated 8 years ago
- 入墨答Rumbda, the Chinese expression of lambda calculus☆64Jun 20, 2023Updated 2 years ago
- ☆28Updated this week
- An implementation of memcpy for amd64 with clang/gcc☆15Feb 7, 2022Updated 4 years ago
- a cross platform 3d engine using c++98☆163May 21, 2021Updated 4 years ago
- 一个C++实现的简单操作系统☆17Jul 26, 2015Updated 10 years ago
- A general purpose C++ toolkit library, built with☆28Nov 29, 2022Updated 3 years ago
- RowScript programming language, making a better browser world☆125Jan 5, 2026Updated last month
- 中文的C++ Template的教学指南。与知名书籍C++ Templates不同，该系列教程将C++ Templates作为一门图灵完备的语言来讲授，以求帮助读者对Meta-Programming融会贯通。(正在施工中)☆10,517Aug 20, 2024Updated last year
- A cross-platform foundation library.☆27Mar 26, 2020Updated 5 years ago
- ☆12Oct 2, 2021Updated 4 years ago
- A proof assistant and a dependently-typed language☆349Feb 22, 2026Updated last week
- 《软件基础》中译版 Software Foundations Chinese Translation☆963Updated this week
- ☆22Feb 13, 2024Updated 2 years ago
- Programming Language Foundations in Lean☆48Jul 22, 2025Updated 7 months ago
- Teaching my girlfriend Python programming☆22Jun 3, 2016Updated 9 years ago
- Automatic testing of MoonBit programs☆28Updated this week
- Corecat: Core library☆21Jun 29, 2018Updated 7 years ago
- 十分钟魔法练习☆816Sep 2, 2023Updated 2 years ago