Textbook on Gödel's incompleteness theorems and computability theory
☆22Jul 2, 2025Updated 10 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:
- Textbook on non-classical logics☆13Jun 25, 2025Updated 10 months ago
- Tim Button's open textbook on set theory☆41Jun 25, 2025Updated 10 months ago
- Open textbook on modal logic☆25Jul 1, 2025Updated 10 months ago
- ☆13Nov 20, 2018Updated 7 years ago
- The Rocq Prover bot☆28Apr 22, 2026Updated 2 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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
- Turbo Assembler 4.1, Turbo Link 7.1, Borland Make 4.0☆28Sep 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 5 years ago
- ☆39Apr 29, 2026Updated last week
- Museum-quality bit-archive storage management☆11Mar 25, 2026Updated last month
- An accessible Forth written in machine code for the RISC-V architecture.☆23Jan 19, 2026Updated 3 months ago
- Source of metamath book☆55Dec 22, 2023Updated 2 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.
- Colby Hall's C++ Standard Library☆11Jan 13, 2020Updated 6 years ago
- A DOS redirector for mounting VMware's Shared Folders☆14May 3, 2023Updated 3 years ago
- Maven plugin to create HTML report to show dependecies in DSM view.☆14Sep 26, 2023Updated 2 years ago
- A compile time sized array of bits☆12Aug 15, 2021Updated 4 years ago
- ☆10Aug 25, 2020Updated 5 years ago
- Cat face filters in javascript trained via StyleGAN-nada☆10Sep 22, 2021Updated 4 years ago
- A plugin for using Randoop in Maven☆10Oct 29, 2021Updated 4 years ago
- Coursera Week 2: Python scripting and SQL☆12Feb 21, 2022Updated 4 years ago
- 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
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Dependency Structure Matrix☆19Feb 6, 2012Updated 14 years ago
- Simulate a 4-function TI calculator and the Sinclair Scientific calculator using the original source code☆30Apr 6, 2018Updated 8 years ago
- Open Quality Model and Tool Support for Quality Modelling and Evaluation☆11Jun 6, 2018Updated 7 years ago
- BDD-style unit-level testing framework for Java/Scala/Groovy. Safely isolates mutable state. Unlimited nesting.☆21Dec 11, 2018Updated 7 years ago
- ☆11Mar 25, 2021Updated 5 years ago
- Twitter thread explorer made in C++/Wasm/WebGL☆11May 16, 2023Updated 2 years ago
- The Lily programming language ⚜☆10Apr 7, 2026Updated last month
- Kanboard PlugIn to display subtasks of a task on the task cards on a board☆11Mar 29, 2023Updated 3 years ago
- tools for assessment and categorization of research software☆19Oct 22, 2023Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- 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 last month
- Tiny CSV module for Jai☆13Feb 10, 2026Updated 2 months ago
- Implementations of the Are-we-fast-yet benchmark suite in Oberon, C++, C, Pascal, Micron and Luon☆69Apr 1, 2026Updated last month
- CodeBuddy: A programming assignment management system for short-form exercises☆18Apr 30, 2026Updated last week
- Scala+lift frontend for automatatutor.com☆10May 13, 2019Updated 6 years ago
- A draft design document / RFC describing the plan for incremental and "on-demand"☆14May 18, 2017Updated 8 years ago