This is the latest version of textbook《大数理论》(Googology).
☆97Apr 14, 2026Updated last month
Alternatives and similar repositories for Googology
Users that are interested in Googology are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Deprecated☆38May 17, 2026Updated last week
- Real-time osu!mania overlay for tosu that estimates difficulty, analyzes Pattern/MSD, and visualizes graph + pause data for 4K, 6K, and 7…☆59Updated this week
- 几何表达式仓库☆11Nov 4, 2025Updated 6 months ago
- Slides of CS100 (Introduction to Computer Programming) of ShanghaiTech.☆17Mar 2, 2026Updated 2 months ago
- STL for C ⭐☆38Feb 12, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- My solutions to exercises in "Logical Foundations" (2018-2019)☆11Apr 11, 2019Updated 7 years ago
- A flagship 560-billion-parameter open-source MoE model that advances Native Formal Reasoning in Lean4 for Mathematics Formalization and P…☆82May 9, 2026Updated 3 weeks ago
- Just A lot of small projects I do with Mathematica☆15Nov 12, 2021Updated 4 years ago
- StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion☆29Aug 19, 2025Updated 9 months ago
- [AAAI 2025] The official code of the paper "InverseCoder: Unleashing the Power of Instruction-Tuned Code LLMs with Inverse-Instruct"(http…☆14Jul 10, 2024Updated last year
- A TypeScript library rendering chemistry strutures to SVG☆12Sep 17, 2024Updated last year
- Show recent files and projects in scratch buffer.☆11Jan 19, 2026Updated 4 months ago
- golang 写的围棋网站☆11Jun 23, 2016Updated 9 years ago
- 一个仿innodb的数据库存储引擎。☆15Sep 17, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 关于项目一些细节https://blog.csdn.net/weixin_44780625/article/details/105254479☆10Jun 21, 2022Updated 3 years ago
- ☆17Jul 12, 2025Updated 10 months ago
- Code for paper "PoseEmbroider:Towards a 3D, Visual, Semantic-aware Human Pose Representation" (ECCV 2024)☆18Nov 18, 2024Updated last year
- ☆16Jul 27, 2024Updated last year
- Add `which-function` as hint for `rg` & `xref` results.☆16Jan 3, 2026Updated 4 months ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 4 years ago
- LLDB Frontend for Gud☆13Apr 19, 2017Updated 9 years ago
- Controller to calibrate force sensors and let mc_rtc remove the effect of gravity due to links attached to the force sensors (grippers/f…☆10Jan 26, 2026Updated 4 months ago
- 一个小型数据库 DBMS☆12Oct 17, 2014Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- grogue是一个参考了CDDA，饥荒的Roguelite游戏。玩家需要存活下去，并且探索不同的世界（施工中）☆15Oct 17, 2023Updated 2 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Sep 7, 2022Updated 3 years ago
- 一个轻量级java web框架，小巧易用但功能齐全。☆12Oct 9, 2017Updated 8 years ago
- 单纯群精华信息汇总☆20Dec 13, 2024Updated last year
- Code for my blog post on Animating Doodles with Autoencoders☆12Oct 2, 2018Updated 7 years ago
- Thread-safe closures as first-class functions for C☆15Oct 7, 2023Updated 2 years ago
- nim playground using monaco editor and wandbox api☆12Oct 25, 2024Updated last year
- Restore the far lands! (1.14+)☆21Jun 8, 2022Updated 3 years ago
- Simple cache module for Nim, supports LRU and max-count pruning☆12May 26, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 使用panda机械臂接收grasp pose，执行抓取和一些其他操作☆12Mar 2, 2022Updated 4 years ago
- Yet another Rust algebraic effect library using generators☆21Jun 10, 2025Updated 11 months ago
- Separating words automatically with given regexp☆14Dec 7, 2021Updated 4 years ago
- A Bimanual-mobile Robot Manipulation Dataset specifically designed for household applications☆17Aug 12, 2024Updated last year
- ☆18Jan 1, 2025Updated last year
- ☆29Jan 30, 2025Updated last year
- macro for spreading blocks into call parameters/collections☆14Apr 2, 2026Updated last month