Textbook on Gödel's incompleteness theorems and computability theory
☆23Jul 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:
- Textbook on non-classical logics☆14Jul 12, 2026Updated last month
- Open textbook on modal logic☆25Jul 12, 2026Updated last month
- A LaTeX class to produce a University of Calgary (UCalgary) graduate thesis (uses memoir class)☆16Apr 13, 2023Updated 3 years ago
- Maze generation algorithms☆10Nov 29, 2024Updated last year
- Distilled version of LaGAT: a neuro-guided search for multi-agent pathfinding (MAPF)☆16Jul 18, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Page Ruler☆13Jul 12, 2026Updated last month
- Operator Mono font downloader and converter to OTF (including ligatures)☆16Apr 2, 2025Updated last year
- ☆19Nov 11, 2025Updated 9 months ago
- This repository contains the source code and data for Inverse Geometric Locomotion, published at SIGGRAPH 2025.☆21Sep 29, 2025Updated 11 months ago
- Development of the univalent foundations of mathematics in Coq☆19Apr 24, 2012Updated 14 years ago
- Reading text files with different Unicode encodings in VBA☆16Nov 26, 2020Updated 5 years ago
- Aussie AI Base C++ Library is the source code repo for the book Generative AI in C++, along with various other AI/ML kernels.☆26Aug 30, 2024Updated 2 years ago
- Command line tool to copy font installed via Adobe CC to a folder of your choice☆15Sep 23, 2022Updated 3 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Open-Source Chrome Extension for Exporting/Importing Open Tabs + Archiving in Various Formats and File Types☆29Sep 23, 2024Updated last year
- ☆10Aug 25, 2020Updated 6 years ago
- Odin bindings for the Godot script API☆11May 20, 2023Updated 3 years ago
- Identify terminological ambiguity and incompleteness in user stories☆11Dec 16, 2020Updated 5 years ago
- Cat face filters in javascript trained via StyleGAN-nada☆10Sep 22, 2021Updated 4 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
- ☆16May 25, 2024Updated 2 years ago
- Unofficial/Unsolicited ArtStation client with an Instagram inspired feed☆11Feb 14, 2026Updated 6 months ago
- Configuration templates and scripts for the firewall subsystem.☆13Jun 20, 2024Updated 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.
- ☆31Jan 16, 2026Updated 7 months ago
- Kanboard PlugIn to display subtasks of a task on the task cards on a board☆11Mar 29, 2023Updated 3 years ago
- Well-tested utility functions dealing with async iterables☆22Mar 26, 2024Updated 2 years ago
- Twitter thread explorer made in C++/Wasm/WebGL☆11May 16, 2023Updated 3 years ago
- The Lily programming language ⚜☆11Aug 12, 2026Updated 3 weeks ago
- tools for assessment and categorization of research software☆19Oct 22, 2023Updated 2 years ago
- Odin bindings for fasm, the flat assembler☆11Aug 20, 2026Updated 2 weeks ago
- Tiny CSV module for Jai☆14Feb 10, 2026Updated 6 months ago
- This is a minimal acyclic finite-state automata algorithm in Java based on the paper, "Incremental Construction of Minimal Acyclic Finite…☆19Dec 31, 2013Updated 12 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.
- utility to construct PDF files from one or more image files☆22Dec 25, 2023Updated 2 years ago
- generic data structures & algorithms in C using metaprogramming☆13Jun 7, 2026Updated 3 months ago
- Public domain single-file libraries - stb style☆21Jan 13, 2025Updated last year
- vscode的一个vue格式化插件☆24Dec 6, 2022Updated 3 years ago
- CoREBench: Errors in Find, Grep, Make☆13Dec 10, 2015Updated 10 years ago
- ☆13Dec 3, 2024Updated last year
- A little gathering place for my PCBs. This is their favourite hangout spot! 🪼⋆.ೃ࿔*:･☆49Feb 3, 2026Updated 7 months ago