Textbook on Gödel's incompleteness theorems and computability theory
☆22Jul 2, 2025Updated last year
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:
- Tim Button's open textbook on set theory☆41Jun 25, 2025Updated last year
- Tim Button's Cambridge version of forallx☆16Sep 26, 2018Updated 7 years ago
- ☆13Nov 20, 2018Updated 7 years ago
- Gamification of Mutation Testing☆49Updated this week
- Intel 8080/Zilog Z80 disassembler written in D.☆19Jun 24, 2021Updated 5 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.
- Turbo Assembler 4.1, Turbo Link 7.1, Borland Make 4.0☆30Sep 7, 2021Updated 4 years ago
- An Interactive Granular Sampler (unofficial fork)☆27Mar 4, 2022Updated 4 years ago
- Slides, Code, Images and Meme related to the course Technologies for Advanced Programming☆20Jul 2, 2020Updated 6 years ago
- ☆47May 30, 2026Updated last month
- An accessible Forth written in machine code for the RISC-V architecture.☆24Jan 19, 2026Updated 5 months ago
- Colby Hall's C++ Standard Library☆11Jan 13, 2020Updated 6 years ago
- PMD Plugin for the Eclipse IDE☆14Jun 29, 2026Updated last week
- An open-source, customizable intermediate logic textbook☆1,317May 25, 2026Updated last month
- A DOS redirector for mounting VMware's Shared Folders☆14May 3, 2023Updated 3 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.
- The mathematical study of type theories, in univalent foundations☆122Feb 15, 2025Updated last year
- A compile time sized array of bits☆12Aug 15, 2021Updated 4 years ago
- ☆10Aug 25, 2020Updated 5 years ago
- Identify terminological ambiguity and incompleteness in user stories☆11Dec 16, 2020Updated 5 years ago
- ☆16May 13, 2021Updated 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
- Simulate a 4-function TI calculator and the Sinclair Scientific calculator using the original source code☆30Apr 6, 2018Updated 8 years ago
- A benchmark framework for Tensorflow 2.X☆12Apr 20, 2024Updated 2 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.
- toolsuite for analyzing cpp-preprocessor-based software product lines☆13Jul 19, 2023Updated 2 years ago
- Unofficial/Unsolicited ArtStation client with an Instagram inspired feed☆11Feb 14, 2026Updated 4 months ago
- Parallel Build Strategy Experiments☆17Aug 21, 2025Updated 10 months ago
- ☆11Mar 25, 2021Updated 5 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
- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370☆15Jun 5, 2026Updated last month
- The Lily programming language ⚜☆10Apr 7, 2026Updated 3 months ago
- An experimental i386 kernel written in Pascal☆29Dec 27, 2019Updated 6 years ago
- Kanboard PlugIn to display subtasks of a task on the task cards on a board☆11Mar 29, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Deep Learning for HAR: models and tools for Human Activity Recognition from IMU sensor (accelerometer, gyroscope) data☆10Sep 16, 2020Updated 5 years ago
- A script I use for synchronizing directories and ZFS pools between systems☆23Jun 27, 2026Updated last week
- TeX code associated to the EuropeCV CTAN repository, https://ctan.org/pkg/europecv☆57May 14, 2025Updated last year
- Platform abstraction and utility library☆19Jun 12, 2026Updated 3 weeks ago
- Transactional email for developers — Built in Europe 🇪🇺 🦀☆44Jul 1, 2026Updated last week
- ☆17Jan 18, 2023Updated 3 years ago
- moderngpu algorithms for C++ shaders☆16Mar 3, 2021Updated 5 years ago