Textbook on Gödel's incompleteness theorems and computability theory
☆22Jul 2, 2025Updated 11 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☆14Jun 25, 2025Updated 11 months ago
- Tim Button's Cambridge version of forallx☆16Sep 26, 2018Updated 7 years ago
- Emacs / Org mode integration with TickTick task management API☆19Jan 17, 2026Updated 5 months 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.☆23Aug 30, 2024Updated last year
- Intel 8080/Zilog Z80 disassembler written in D.☆19Jun 24, 2021Updated 4 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.
- ☆41May 30, 2026Updated 2 weeks ago
- Museum-quality bit-archive storage management☆11Mar 25, 2026Updated 2 months ago
- An accessible Forth written in machine code for the RISC-V architecture.☆24Jan 19, 2026Updated 4 months ago
- Colby Hall's C++ Standard Library☆11Jan 13, 2020Updated 6 years ago
- PMD Plugin for the Eclipse IDE☆13Updated this week
- 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
- An eclipse plugin for TDD automated recognition based on Zorro☆14Jan 18, 2018Updated 8 years ago
- ☆10Aug 25, 2020Updated 5 years 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.
- 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
- ARSnova is a novel web-based Audience Response System developed at THM.☆17Jan 29, 2021Updated 5 years ago
- A plugin for using Randoop in Maven☆10Oct 29, 2021Updated 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
- 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
- A benchmark framework for Tensorflow 2.X☆12Apr 20, 2024Updated 2 years ago
- Open Quality Model and Tool Support for Quality Modelling and Evaluation☆11Jun 6, 2018Updated 8 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.
- Unofficial/Unsolicited ArtStation client with an Instagram inspired feed☆11Feb 14, 2026Updated 4 months ago
- Parallel Build Strategy Experiments☆17Aug 21, 2025Updated 9 months ago
- Configuration templates and scripts for the firewall subsystem.☆13Jun 20, 2024Updated last year
- ☆11Mar 25, 2021Updated 5 years ago
- Twitter thread explorer made in C++/Wasm/WebGL☆11May 16, 2023Updated 3 years 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
- tools for assessment and categorization of research software☆19Oct 22, 2023Updated 2 years ago
- Git for Philosophers☆35Aug 1, 2023Updated 2 years 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.
- Platform abstraction and utility library☆19Updated this week
- moderngpu algorithms for C++ shaders☆16Mar 3, 2021Updated 5 years ago
- Odin bindings for fasm, the flat assembler☆11Mar 20, 2025Updated last year
- Scala+lift frontend for automatatutor.com☆10May 13, 2019Updated 7 years ago
- generic data structures & algorithms in C using metaprogramming☆11Jun 7, 2026Updated last week
- A HTTP cache for Java☆30Aug 17, 2021Updated 4 years ago
- Public domain single-file libraries - stb style☆21Jan 13, 2025Updated last year