This is the latest version of textbook《大数理论》(Googology).
☆98Apr 14, 2026Updated 2 months ago
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
- This is the official implementation for MA-LoT.☆19Aug 4, 2025Updated 10 months ago
- wavedrom to verilog converter☆17Sep 14, 2021Updated 4 years ago
- [ICLR 2024]: Is Self-Repair a Silver Bullet for Code Generation?☆15May 2, 2024Updated 2 years ago
- STL for C ⭐☆38Feb 12, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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
- Static code analysis for VE280 projects☆17Jul 12, 2023Updated 2 years ago
- A simple MIPS CPU for BUAA CO course (and now NSCSCC).☆10May 15, 2021Updated 5 years ago
- 上海大学本硕博一体化选课系统自动选课工具☆18Oct 30, 2022Updated 3 years ago
- Enhanced Ched .sus editor☆12Aug 20, 2021Updated 4 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☆30Aug 19, 2025Updated 10 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- [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 flagship 560-billion-parameter open-source MoE model that advances Native Formal Reasoning in Lean4 for Mathematics Formalization and P…☆85May 9, 2026Updated last month
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆19Mar 29, 2025Updated last year
- www.defold.com☆14Updated this week
- 开放音游谱面格式☆13Mar 27, 2022Updated 4 years ago
- Videoplayer extension using native views☆13Dec 21, 2025Updated 5 months ago
- Add `which-function` as hint for `rg` & `xref` results.☆16Jan 3, 2026Updated 5 months ago
- Native extension for Defold with Taptic Engine implementation for iOS☆14Nov 30, 2025Updated 6 months ago
- [IJCAI 2024] QiMeng-CPU-v1: Automated CPU Design by Learning from Input-Output Examples☆32May 4, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆17Oct 27, 2024Updated last year
- An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.☆14Jan 21, 2025Updated last year
- Native extension binding the dmCrypt Defold C++ SDK to Lua☆14Sep 16, 2025Updated 9 months ago
- 2023 Fall ShanghaiTech PHYS1111 General Physics I Lab 上海科技大学普物实验报告《普通物理I实验》个人部分实验报告☆36Mar 19, 2025Updated last year
- Videoplayer for the Defold engine☆14May 27, 2026Updated 3 weeks ago
- Xscript Programming Language☆10Aug 21, 2022Updated 3 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Sep 7, 2022Updated 3 years ago
- 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- nim playground using monaco editor and wandbox api☆12Oct 25, 2024Updated last year
- Restore the far lands! (1.14+)☆21Jun 8, 2022Updated 4 years ago
- Large language models designed for formal theorem proving through tool-integrated reasoning.☆35Aug 13, 2025Updated 10 months ago
- prebuild some libraries for android jni usage☆14Jan 3, 2022Updated 4 years ago
- ☆18Jan 1, 2025Updated last year
- Phigros官谱json转换为制谱器格式（转谱器）☆19Jan 24, 2026Updated 4 months ago
- C++ wrapper to BASS audio library☆11Sep 23, 2020Updated 5 years ago