Textbook on Gödel's incompleteness theorems and computability theory
☆22Jul 2, 2025Updated 9 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 1, 2025Updated 9 months ago
- UCalgary version of forallx, an introduction to formal logic☆119Dec 18, 2025Updated 4 months ago
- ☆13Nov 20, 2018Updated 7 years ago
- Python implementations of early chess engines including TUROCHAMP☆15Jul 29, 2023Updated 2 years ago
- Intel 8080/Zilog Z80 disassembler written in D.☆19Jun 24, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Turbo Assembler 4.1, Turbo Link 7.1, Borland Make 4.0☆26Sep 7, 2021Updated 4 years ago
- An Interactive Granular Sampler (unofficial fork)☆27Mar 4, 2022Updated 4 years ago
- benchmark for single-cell RNA-seq imputation methods☆30Mar 16, 2024Updated 2 years ago
- ☆39Feb 1, 2026Updated 2 months ago
- An accessible Forth written in machine code for the RISC-V architecture.☆24Jan 19, 2026Updated 3 months ago
- Source of metamath book☆55Dec 22, 2023Updated 2 years ago
- A compile time sized array of bits☆12Aug 15, 2021Updated 4 years ago
- ☆16May 13, 2021Updated 4 years ago
- Cat face filters in javascript trained via StyleGAN-nada☆10Sep 22, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- XXDP was, and remains, the PDP-11 diagnostic operating system. This project attempts to recover XXDP sources and documents.☆30Dec 11, 2022Updated 3 years ago
- Unofficial/Unsolicited ArtStation client with an Instagram inspired feed☆11Feb 14, 2026Updated 2 months ago
- Parallel Build Strategy Experiments☆17Aug 21, 2025Updated 7 months ago
- Odin bindings for mimalloc (https://github.com/microsoft/mimalloc). mimalloc is a compact general purpose allocator with excellent perfor…☆11May 29, 2023Updated 2 years ago
- The Lily programming language ⚜☆10Apr 7, 2026Updated last week
- Well-tested utility functions dealing with async iterables☆22Mar 26, 2024Updated 2 years ago
- An experimental i386 kernel written in Pascal☆29Dec 27, 2019Updated 6 years ago
- TeX code associated to the EuropeCV CTAN repository, https://ctan.org/pkg/europecv☆57May 14, 2025Updated 11 months ago
- Platform abstraction and utility library☆19Mar 27, 2026Updated 3 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Tiny CSV module for Jai☆13Feb 10, 2026Updated 2 months ago
- ☆17Jan 18, 2023Updated 3 years ago
- Odin bindings for fasm, the flat assembler☆11Mar 20, 2025Updated last year
- Implementations of the Are-we-fast-yet benchmark suite in Oberon, C++, C, Pascal, Micron and Luon☆69Apr 1, 2026Updated 2 weeks ago
- All Worker Tools under a single roof☆24Jun 1, 2022Updated 3 years ago
- Public domain single-file libraries - stb style☆21Jan 13, 2025Updated last year
- small creative coding framework☆23Feb 20, 2026Updated last month
- mirror of A simple type-theoretic language: Mini-TT☆41Feb 15, 2017Updated 9 years ago
- ☆13Dec 3, 2024Updated last year
- 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.
- not infinite, but huge canvas collaborative vector drawing program☆13Oct 28, 2018Updated 7 years ago
- 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
- This crate provides `lazy_static_include_bytes` and `lazy_static_include_str` macros to replace `include_bytes` and `include_str` macros.☆11Nov 24, 2025Updated 4 months ago
- x86 assembler in 512 bytes of x86 machine code☆38Dec 1, 2019Updated 6 years ago
- A test repository for Transparent Aliases (N2901).☆14Mar 13, 2022Updated 4 years ago
- Semantic logger plugin for Unreal Engine☆15Aug 14, 2023Updated 2 years ago