Textbook on Gödel's incompleteness theorems and computability theory
☆22Jul 12, 2026Updated last month
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:
- Page Ruler☆13Jul 12, 2026Updated last month
- Operator Mono font downloader and converter to OTF (including ligatures)☆16Apr 2, 2025Updated last year
- DV analyzer☆13Feb 16, 2026Updated 6 months ago
- 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
- American Archive of Public Broadcasting☆28Updated this week
- 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.
- Odysee on Roku☆41Jan 14, 2026Updated 7 months ago
- SFWin for Office — San Francisco Fonts for Microsoft Office☆16Mar 28, 2022Updated 4 years ago
- Command line tool to copy font installed via Adobe CC to a folder of your choice☆15Sep 23, 2022Updated 3 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
- Maven plugin to create HTML report to show dependecies in DSM view.☆14Sep 26, 2023Updated 2 years ago
- Open Quality Model and Tool Support for Quality Modelling and Evaluation☆11Jun 6, 2018Updated 8 years ago
- A simple downloader client for the Wayback Machine☆20Feb 26, 2018Updated 8 years ago
- research software encyclopedia database☆14Updated this week
- 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.
- Plugin to interface to the official UserDefinedLanguage Collection and nppThemes Collection☆21Jul 1, 2026Updated last month
- The mathematical study of type theories, in univalent foundations☆122Feb 15, 2025Updated last year
- ☆10Aug 25, 2020Updated 5 years ago
- Odin bindings for the Godot script API☆11May 20, 2023Updated 3 years ago
- Package implements a number local outlier factor algorithms for outlier detection and finding anomalous data☆12Jun 7, 2017Updated 9 years ago
- Grail+ is a set of command line tools for manipulating non-deterministic finite automata (NFAs), non-deterministic pushdown automata (PDA…☆10Oct 22, 2016Updated 9 years ago
- ☆15May 25, 2024Updated 2 years ago
- A benchmark framework for Tensorflow 2.X☆12Apr 20, 2024Updated 2 years ago
- 💢 don't have adobe plan and want their fonts? no need to worry! download from us ;)☆30Dec 13, 2022Updated 3 years 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.
- Electromagnet electrifies your torrents by automatically adding lots of stable trackers from newTrackon to all magnet links as you browse…☆34Apr 30, 2020Updated 6 years ago
- Odin bindings for mimalloc (https://github.com/microsoft/mimalloc). mimalloc is a compact general purpose allocator with excellent perfor…☆11May 29, 2023Updated 3 years ago
- Computes Java classes or packages dependencies, SCCs (Tarjan algorithm), or cycles (Johnson algorithm), through API or command line.☆11Apr 11, 2023Updated 3 years ago
- reproduce the experiment in the report.☆28Jan 18, 2015Updated 11 years ago
- integer-to-string conversion algorithms☆15May 4, 2026Updated 3 months ago
- A modification to the MediaWiki Minerva Neue skin. Can be used on all MediaWiki projects, including Wikipedia.☆29Jan 7, 2024Updated 2 years ago
- ☆19Jan 18, 2023Updated 3 years ago
- generic data structures & algorithms in C using metaprogramming☆13Jun 7, 2026Updated 2 months ago
- ☆10Oct 22, 2015Updated 10 years 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.
- mirror of A simple type-theoretic language: Mini-TT☆41Feb 15, 2017Updated 9 years ago
- ☆26Sep 12, 2021Updated 4 years ago
- Bandit Algorithms in Rust☆35Feb 28, 2025Updated last year
- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370☆15Jun 5, 2026Updated 2 months ago
- Automatic assessment framework compatible with A-plus LMS.☆16Jul 30, 2026Updated 2 weeks ago
- Undo/Redo history data structures for the Odin programming language☆12Jan 9, 2025Updated last year
- ☆16Jul 22, 2026Updated 3 weeks ago