Encodes and decodes "Gödel Numbers" as described in the book "Gödel's Proof" by Ernest Nagel and James R. Newman.
☆21Oct 24, 2016Updated 9 years ago
Alternatives and similar repositories for godel
Users that are interested in godel are comparing it to the libraries listed below
Sorting:
- A C implementation of the Held Karp algorithm to solve small TSP instances.☆11Feb 3, 2018Updated 8 years ago
- CS 294-144 Blockchain, Cryptoeconomics, and the Future of Technology, Business and Law (Spring 2018)☆10Apr 25, 2018Updated 7 years ago
- Snowboy hotword detection engine packaged as an iOS framework☆12Oct 29, 2021Updated 4 years ago
- This repo is a curated list of places I consider for weekends in Athens with my kid.☆11Dec 19, 2021Updated 4 years ago
- VSChroma - Razer Chrom Extension for VSCode☆13Dec 30, 2022Updated 3 years ago
- Cellular autotmata screensaver with a colourful rock-paper-scissors implementation.☆12Mar 8, 2015Updated 10 years ago
- Some basic tools for interacting with `tcf-agent`☆11Jan 19, 2024Updated 2 years ago
- CMake scripts for building FFmpeg☆11Jan 26, 2024Updated 2 years ago
- GSoC 2019: Development of a Tool for Extracting Quantitative Text Profiles☆11Jul 7, 2020Updated 5 years ago
- Apple Platform's Apps☆10Jan 29, 2022Updated 4 years ago
- Relic's homeworld source code☆12Aug 3, 2018Updated 7 years ago
- ☆14Apr 9, 2017Updated 8 years ago
- Shader☆11Sep 15, 2021Updated 4 years ago
- F9R-Dev simulator☆15Feb 1, 2016Updated 10 years ago
- D3 interactive wheel visualisation of Hegel's Science of Logic☆13Mar 28, 2015Updated 10 years ago
- ☆13Jul 24, 2021Updated 4 years ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆16Updated this week
- Ultralight example project using dx11 from my youtube tutorial. Please read ultralight's license!☆13Dec 3, 2025Updated 3 months ago
- BisPy - Python bisimulation library☆16Jan 21, 2022Updated 4 years ago
- ☆15May 23, 2017Updated 8 years ago
- Procedurally generated fire animation☆15Feb 8, 2016Updated 10 years ago
- ☆13Oct 21, 2021Updated 4 years ago
- A bot for parsing CSS for the /r/css_irl subreddit☆14Jan 4, 2021Updated 5 years ago
- Attempt at understanding and playing with the Noctis IV+ source code☆12Mar 8, 2015Updated 10 years ago
- An interpreter for Gödel's System T☆13Apr 17, 2017Updated 8 years ago
- Adds more functionality to Python and an easy to use wrapper for forbiddenfruit.☆13Jan 6, 2022Updated 4 years ago
- Agda from Nothing: Order in the Types☆13Jan 23, 2017Updated 9 years ago
- ☆17Aug 9, 2020Updated 5 years ago
- Generate faces with smoother skin☆14Jan 17, 2021Updated 5 years ago
- Python implementations of early chess engines including TUROCHAMP☆15Jul 29, 2023Updated 2 years ago
- Lua 5.1/5.2 environment compatibility functions.☆32Aug 3, 2015Updated 10 years ago
- GUI for framebuffer by midaszhou@yahoo.com☆20Jul 4, 2023Updated 2 years ago
- Artifacts for the paper "ESPwn32: Hacking with ESP32 System-on-Chips" (WOOT 2023).☆20Apr 6, 2023Updated 2 years ago
- TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.☆18Jun 22, 2015Updated 10 years ago
- The most standard, most cross-browser, most compact, and fastest possible btoa and atob solution for unicode strings with high code point…☆16Apr 15, 2020Updated 5 years ago
- Calculation of standard deviation scores adduced from different growth standards (WHO, US, UK, Germany, Italy, China, etc). Therefore, th…☆17Jul 15, 2021Updated 4 years ago
- Runnable code from Chaitin's "The Limits of Mathematics (in C)"☆18Sep 1, 2022Updated 3 years ago
- Flask-selfdoc automatically creates an online documentation for your flask application.☆18Oct 6, 2023Updated 2 years ago
- ☆11Oct 24, 2015Updated 10 years ago