Textbook on Gödel's incompleteness theorems and computability theory
☆23Jul 12, 2026Updated 2 months ago
Alternatives and similar repositories for incompleteness-computability
Users that are interested in incompleteness-computability are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Open textbook on modal logic☆25Jul 12, 2026Updated 2 months ago
- Synthwave related themes, music, and assets for all of the things☆13Apr 9, 2020Updated 6 years ago
- Page Ruler☆14Jul 12, 2026Updated 2 months ago
- Operator Mono font downloader and converter to OTF (including ligatures)☆15Apr 2, 2025Updated last year
- Repository with text of DMCA takedown notices as received. LBRY Inc. does not endorse or adopt any assertion contained in the following n…☆27Nov 22, 2023Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Go PS1 Status Updater☆12May 4, 2022Updated 4 years ago
- Notepad++ plugins - Open File In Solution (OFIS), Tortoise SVN, Solution Tools, SolutionHub and SolutionHub UI☆17Jun 1, 2022Updated 4 years ago
- Solus-Project package repository☆10Feb 4, 2022Updated 4 years ago
- An overly complex tool to mirror youtube content to LBRY☆40May 11, 2023Updated 3 years ago
- Command line tool to copy font installed via Adobe CC to a folder of your choice☆15Sep 23, 2022Updated 4 years ago
- Web editor for the LODA language.☆30Aug 28, 2026Updated last month
- An exploit for Safari 17.4 and lower that enables fingerprinting Safari users using OffscreenCanvas and SharedWorkers even if fingerprint…☆17Sep 1, 2024Updated 2 years ago
- A DOS redirector for mounting VMware's Shared Folders☆14May 3, 2023Updated 3 years ago
- Colby Hall's C++ Standard Library☆11Jan 13, 2020Updated 6 years 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.
- A compile time sized array of bits☆12Aug 15, 2021Updated 5 years ago
- Universal system configuration interface☆12Oct 18, 2018Updated 7 years ago
- Unofficial/Unsolicited ArtStation client with an Instagram inspired feed☆11Feb 14, 2026Updated 7 months ago
- Get HN discussion for the current URL. Powered by the HN search engine at http://hn.algolia.com☆33Nov 2, 2019Updated 6 years ago
- Odin bindings for fasm, the flat assembler☆11Aug 20, 2026Updated last month
- 🧛🏻♂️ Dark theme for Minecraft☆31Aug 4, 2024Updated 2 years ago
- Tiny CSV module for Jai☆14Feb 10, 2026Updated 7 months ago
- moderngpu algorithms for C++ shaders☆16Mar 3, 2021Updated 5 years ago
- generic data structures & algorithms in C using metaprogramming☆13Jun 7, 2026Updated 3 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆10Oct 22, 2015Updated 10 years ago
- not infinite, but huge canvas collaborative vector drawing program☆13Oct 28, 2018Updated 7 years ago
- ☆27Sep 12, 2021Updated 5 years ago
- Public domain single-file libraries - stb style☆21Jan 13, 2025Updated last year
- ☆13Dec 3, 2024Updated last year
- Undo/Redo history data structures for the Odin programming language☆12Jan 9, 2025Updated last year
- Light MVVM plugin for UI development☆12Nov 7, 2024Updated last year
- Contains a BP implementation for creating networked movement according to Unreal Engine's UCharacterMovementComponent specifications. Thi…☆20Jul 15, 2025Updated last year
- This crate provides `lazy_static_include_bytes` and `lazy_static_include_str` macros to replace `include_bytes` and `include_str` macros.☆11Aug 1, 2026Updated last month
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Semantic logger plugin for Unreal Engine☆15Aug 14, 2023Updated 3 years ago
- Tool for analyzing the information provided by /proc/[pid]/maps☆32Jan 14, 2021Updated 5 years ago
- ICU - International Components for Unicode☆13Sep 12, 2026Updated 2 weeks ago
- Mirror of https://gist.github.com/vurtun/c5b0374c27d2f5e9905bfbe7431d9dc0☆17Nov 26, 2019Updated 6 years ago
- A standalone logind shim - GitHub mirror☆32Feb 21, 2015Updated 11 years ago
- Nintendo GameCube Gekko CPU Extension plug-in for IDA Pro 5.2☆20Apr 25, 2018Updated 8 years ago
- PBR Baker - open source multi-functional baking tool for BRDF related work☆14Oct 25, 2019Updated 6 years ago