Textbook on Gödel's incompleteness theorems and computability theory
☆22Jul 12, 2026Updated 3 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:
- Webextension to save the title and URLs of open tabs as an HTML file.☆12Sep 4, 2026Updated 2 months ago
- Synthwave related themes, music, and assets for all of the things☆13Apr 9, 2020Updated 6 years 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
- Code and Materials for an interactive online course on Logic (part of Strathclyde's CS208 Logic and Algorithms module)☆15Updated this week
- SFWin for Office — San Francisco Fonts for Microsoft Office☆17Mar 28, 2022Updated 4 years ago
- 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.
- DV analyzer☆14Feb 16, 2026Updated 8 months ago
- Notepad++ plugins - Open File In Solution (OFIS), Tortoise SVN, Solution Tools, SolutionHub and SolutionHub UI☆17Jun 1, 2022Updated 4 years ago
- Source for Basic Category Theory by Tom Leinster☆12May 15, 2017Updated 9 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
- Uma introdução interativa ao LaTeX usando Overleaf. Versão em português.☆11May 9, 2018Updated 8 years ago
- 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
- Talking about classical logic and abstract algebra in Haskell☆16Feb 12, 2021Updated 5 years ago
- The mathematical study of type theories, in univalent foundations☆122Sep 4, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A compile time sized array of bits☆12Aug 15, 2021Updated 5 years ago
- A plugin for Protégé that checks gUFO-based ontologies for adherence to UFO rules☆11Dec 3, 2025Updated 11 months ago
- Glassmorphism Theme MacOs & Windows☆15Mar 11, 2026Updated 7 months ago
- PMD Plugin for the Eclipse IDE☆14Updated this week
- ☆10Aug 25, 2020Updated 6 years ago
- Official front-end UI showcase for the SheerID Auto Verification Tool. Features a responsive design, real-time log display, and a modern …☆25Dec 8, 2025Updated 10 months ago
- Package implements a number local outlier factor algorithms for outlier detection and finding anomalous data☆12Jun 7, 2017Updated 9 years ago
- Categorical logic from a categorical point of view☆82Oct 19, 2023Updated 3 years ago
- ☆10May 17, 2016Updated 10 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Grail+ is a set of command line tools for manipulating non-deterministic finite automata (NFAs), non-deterministic pushdown automata (PDA…☆10Oct 22, 2016Updated 10 years ago
- A benchmark framework for Tensorflow 2.X☆12Apr 20, 2024Updated 2 years ago
- A curated list of static analysis tools, linters and code quality checkers for various programming languages☆12May 5, 2017Updated 9 years ago
- A DOS redirector for mounting VMware's Shared Folders☆14May 3, 2023Updated 3 years ago
- Odin bindings for the Godot script API☆11May 20, 2023Updated 3 years ago
- Unofficial/Unsolicited ArtStation client with an Instagram inspired feed☆11Feb 14, 2026Updated 8 months 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
- 💢 don't have adobe plan and want their fonts? no need to worry! download from us ;)☆30Dec 13, 2022Updated 3 years ago
- Maven plugin to create HTML report to show dependecies in DSM view.☆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.
- A sub-1KB, self-hosting, native code Forth without compromise☆11May 4, 2026Updated 6 months ago
- Platform abstraction and utility library☆19Jun 12, 2026Updated 4 months ago
- 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
- High-resolution screenshot capture plugin for IDA Pro☆13May 31, 2024Updated 2 years ago
- Odin bindings for fasm, the flat assembler☆11Aug 20, 2026Updated 2 months ago
- Vulkan frame limiter☆11Jun 19, 2024Updated 2 years ago
- The Lily programming language ⚜☆11Aug 12, 2026Updated 2 months ago