Encodes and decodes "Gödel Numbers" as described in the book "Gödel's Proof" by Ernest Nagel and James R. Newman.
☆22Oct 24, 2016Updated 10 years ago
Alternatives and similar repositories for godel
Users that are interested in godel are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implementation of Dynamic Time Warping in Haskell☆18Jan 25, 2023Updated 3 years ago
- DEPRECATED REPO: SEE https://gitlab.wikimedia.org/kevinpayravi/cite-unseen☆16Sep 17, 2025Updated last year
- A simple Wikipedia talk page parser☆11May 10, 2018Updated 8 years ago
- Kickstart Coding's Django Project Starter Template☆15Aug 10, 2022Updated 4 years ago
- Links, guidance, and advice about universal algebra learning and research☆11Oct 16, 2018Updated 8 years ago
- AI Agents on 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.
- ☆15May 23, 2017Updated 9 years ago
- CS 294-144 Blockchain, Cryptoeconomics, and the Future of Technology, Business and Law (Spring 2018)☆10Apr 25, 2018Updated 8 years ago
- Classroom demonstration of costly state verification in finance☆16Mar 30, 2015Updated 11 years ago
- ☆14Jul 24, 2021Updated 5 years ago
- A semester long informal workshop looking at computational approaches to political philosophy☆12Jul 28, 2015Updated 11 years ago
- A Map of Spinoza's Ethics: explore logical dependencies alongside the full Part I text, with interactive views and personal highlights.☆13Oct 1, 2026Updated last month
- Linear Regression in Haskell☆15Aug 22, 2014Updated 12 years ago
- This repository replicates the figures from the 3rd edition of the book "Recursive Macroeconomic Theory" by Lars Ljungqvist and Thomas J.…☆12Feb 9, 2016Updated 10 years ago
- ☆14Apr 9, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Python API to WikiData☆32Oct 24, 2012Updated 14 years ago
- Agda from Nothing: Order in the Types☆13Jan 23, 2017Updated 9 years ago
- A Rational Defense of Reasonable Reflection (LICS'26 Keynote)☆10Jul 21, 2026Updated 3 months ago
- BisPy - Python bisimulation library☆18Jan 21, 2022Updated 4 years ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆19Oct 2, 2026Updated last month
- D3 interactive wheel visualisation of Hegel's Science of Logic☆13Mar 28, 2015Updated 11 years ago
- An interpreter for Gödel's System T☆14Apr 17, 2017Updated 9 years ago
- What do you type while vacuuming your keyboard?☆12Mar 31, 2016Updated 10 years ago
- A machine learning toolkit for economists☆18Dec 4, 2015Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Mahogany cross-platform email client☆12Updated this week
- Print regular expressions with syntax highlighting in the terminal. Useful for debugging, visually inspecting and understanding complex r…☆10Jan 30, 2026Updated 9 months ago
- http://www.cse.chalmers.se/edu/course/afp/☆16Dec 1, 2015Updated 10 years ago
- Python package and CLI tool for social choice functions☆14Jun 20, 2021Updated 5 years ago
- Implementation of the Lemke-Howson algorithm for finding MNE☆15Nov 2, 2013Updated 13 years ago
- Phenex is an application for annotating character matrix files with ontology terms using the Entity-Quality syntax for describing phenoty…☆11Feb 27, 2020Updated 6 years ago
- Runnable code from Chaitin's "The Limits of Mathematics (in C)"☆19Sep 1, 2022Updated 4 years ago
- A Ruby Client Library for GrowthForecast API☆12Jun 11, 2014Updated 12 years ago
- Python program to calculate the winner of well-known winner selection methods, including the plurality method, the runoff method, the eli…☆14Jul 6, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Chrome extension to export AI conversations from Claude, ChatGPT, and Gemini☆14Jun 19, 2025Updated last year
- Poems (Mirror)☆10Dec 2, 2020Updated 5 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 11 years ago
- a .NET port of the game Hunt the Wumpus☆10Mar 8, 2014Updated 12 years ago
- ☆10Jun 5, 2018Updated 8 years ago
- code and data from Latent Structure modeling paper☆12Mar 4, 2013Updated 13 years ago
- Materials for the ESSLLI 2026 course "Introduction to Homotopy Type Theory / Univalent Foundations"☆15Sep 15, 2026Updated last month
Are these results useful?