Textbook on Gödel's incompleteness theorems and computability theory
☆22Jul 2, 2025Updated 8 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 9 months ago
- UCalgary version of forallx, an introduction to formal logic☆119Dec 18, 2025Updated 3 months ago
- Intel 8080/Zilog Z80 disassembler written in D.☆18Jun 24, 2021Updated 4 years ago
- Turbo Assembler 4.1, Turbo Link 7.1, Borland Make 4.0☆25Sep 7, 2021Updated 4 years ago
- TikzEdt is a combined WYSIWYG/text editor designed for editing Tikz code.☆25Jul 9, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆38Feb 1, 2026Updated last month
- An accessible Forth written in machine code for the RISC-V architecture.☆24Jan 19, 2026Updated 2 months ago
- research software encyclopedia database☆14Mar 22, 2026Updated last week
- 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
- 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
- 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
- Dependency Structure Matrix☆19Feb 6, 2012Updated 14 years ago
- 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.
- Simulate a 4-function TI calculator and the Sinclair Scientific calculator using the original source code☆30Apr 6, 2018Updated 7 years ago
- A benchmark framework for Tensorflow 2.X☆12Apr 20, 2024Updated last year
- Open Quality Model and Tool Support for Quality Modelling and Evaluation☆11Jun 6, 2018Updated 7 years ago
- Unofficial/Unsolicited ArtStation client with an Instagram inspired feed☆11Feb 14, 2026Updated last month
- Parallel Build Strategy Experiments☆17Aug 21, 2025Updated 7 months ago
- BDD-style unit-level testing framework for Java/Scala/Groovy. Safely isolates mutable state. Unlimited nesting.☆20Dec 11, 2018Updated 7 years 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
- Configuration templates and scripts for the firewall subsystem.☆13Jun 20, 2024Updated last year
- ☆11Mar 25, 2021Updated 5 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.
- Twitter thread explorer made in C++/Wasm/WebGL☆10May 16, 2023Updated 2 years ago
- The Lily programming language ⚜☆10Jan 4, 2026Updated 2 months ago
- An experimental i386 kernel written in Pascal☆29Dec 27, 2019Updated 6 years ago
- simple, lightweight, websocket client☆13Apr 3, 2024Updated last year
- Git for Philosophers☆35Aug 1, 2023Updated 2 years ago
- A script I use for synchronizing directories and ZFS pools between systems☆24Mar 19, 2026Updated last week
- Tiny CSV module for Jai☆13Feb 10, 2026Updated last month
- 3D Raycast FPS Game on the TIC-80☆28Nov 9, 2021Updated 4 years ago
- Transactional email for developers — Built in Europe 🇪🇺 🦀☆40Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- moderngpu algorithms for C++ shaders☆16Mar 3, 2021Updated 5 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☆68Mar 18, 2026Updated last week
- generic data structures & algorithms in C using metaprogramming☆10Mar 21, 2026Updated last week
- A HTTP cache for Java☆29Aug 17, 2021Updated 4 years ago
- Public domain single-file libraries - stb style☆21Jan 13, 2025Updated last year
- small creative coding framework☆23Feb 20, 2026Updated last month