This is the latest version of textbook《大数理论》(Googology).
☆100Jul 4, 2026Updated this week
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 month
- SHU Graduate Thesis Typst Template☆12Apr 25, 2025Updated last year
- Real-time osu!mania overlay for tosu that estimates difficulty, analyzes Pattern/MSD, and visualizes graph + pause data for 4K, 6K, and 7…☆80Jun 21, 2026Updated 2 weeks ago
- 几何表达式仓库☆11Nov 4, 2025Updated 8 months ago
- This is the official implementation for MA-LoT.☆19Aug 4, 2025Updated 11 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- STL for C ⭐☆39Feb 12, 2025Updated last year
- My solutions to exercises in "Logical Foundations" (2018-2019)☆11Apr 11, 2019Updated 7 years ago
- Yet another Scheme interpreter.☆11Sep 17, 2022Updated 3 years ago
- 上 海大学本硕博一体化选课系统自动选课工具☆18Oct 30, 2022Updated 3 years ago
- Kosugi fonts, originally by Motoya☆15Sep 17, 2021Updated 4 years ago
- Just A lot of small projects I do with Mathematica☆16Nov 12, 2021Updated 4 years ago
- StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion☆29Aug 19, 2025Updated 10 months ago
- [AAAI 2025] The official code of the paper "InverseCoder: Unleashing the Power of Instruction-Tuned Code LLMs with Inverse-Instruct"(http…☆15Jul 10, 2024Updated last year
- A TypeScript library rendering chemistry strutures to SVG☆12Sep 17, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆10Apr 28, 2020Updated 6 years ago
- ☆17Jul 12, 2025Updated 11 months ago
- Code for paper "PoseEmbroider:Towards a 3D, Visual, Semantic-aware Human Pose Representation" (ECCV 2024)☆18Nov 18, 2024Updated last year
- 一份简短的介绍，包含了对于计算机系的大一学生来说可能有价值的、且老师通常不会讲授的知识☆11Mar 26, 2023Updated 3 years ago
- ☆16Jul 27, 2024Updated last year
- Create PyKDL chains from URDF robot descriptions☆13Jul 16, 2019Updated 6 years ago
- Add `which-function` as hint for `rg` & `xref` results.☆16Jan 3, 2026Updated 6 months ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 4 years ago
- Defold native extension to access the clipboard☆20Apr 21, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- LLDB Frontend for Gud☆13Apr 19, 2017Updated 9 years ago
- [IJCAI 2024] QiMeng-CPU-v1: Automated CPU Design by Learning from Input-Output Examples☆32May 4, 2025Updated last year
- Replace Touhou Project game resources with the files in "data" directory☆18Aug 19, 2023Updated 2 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 5 months ago
- ☆17Oct 27, 2024Updated last year
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆46Apr 22, 2026Updated 2 months ago
- Videoplayer for the Defold engine☆14May 27, 2026Updated last month
- Xscript Programming Language☆11Aug 21, 2022Updated 3 years ago
- grogue是一个参考了CDDA，饥荒的Roguelite游戏。玩家需要存活下去，并且探索不同的世界（施工中）☆15Oct 17, 2023Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- my C language math and numerical computing library☆20Apr 17, 2025Updated last year
- Thread-safe closures as first-class functions for C☆15Oct 7, 2023Updated 2 years ago
- A repository to introduce the algorithmic information theory. You could learn what is Kolmogorov complexity and why it is important here.☆13Jul 23, 2025Updated 11 months ago
- Simple cache module for Nim, supports LRU and max-count pruning☆12May 26, 2020Updated 6 years ago
- 使用panda机械臂接收grasp pose，执行抓取和一些其他操作☆12Mar 2, 2022Updated 4 years ago
- Large language models designed for formal theorem proving through tool-integrated reasoning.☆33Aug 13, 2025Updated 10 months ago
- Yet another Rust algebraic effect library using generators☆21Jun 10, 2025Updated last year