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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An emacs mode for syncing directories with Unison☆20Aug 21, 2025Updated 7 months ago
- rsync projects to remote machines in Emacs☆19Sep 11, 2021Updated 4 years ago
- Code for the NAACL 2024 HCI+NLP Workshop paper "LLMCheckup: Conversational Examination of Large Language Models via Interpretability Tool…☆13Mar 24, 2024Updated 2 years ago
- Port of Peter Meyers Timewave Zero to JS☆16Jun 13, 2012Updated 13 years ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆17Mar 30, 2026Updated 2 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Classroom demonstration of costly state verification in finance☆16Mar 30, 2015Updated 11 years ago
- Duke Machine Learning Winter School 2019☆27Jan 9, 2019Updated 7 years ago
- ☆14Apr 9, 2017Updated 9 years ago
- BisPy - Python bisimulation library☆16Jan 21, 2022Updated 4 years ago
- Agda from Nothing: Order in the Types☆13Jan 23, 2017Updated 9 years ago
- Runnable code from Chaitin's "The Limits of Mathematics (in C)"☆18Sep 1, 2022Updated 3 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
- Collection of scripts to download digitized manuscripts from various online libraries☆25Apr 4, 2026Updated last week
- An interpreter for Gödel's System T☆13Apr 17, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- D3 interactive wheel visualisation of Hegel's Science of Logic☆13Mar 28, 2015Updated 11 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆26Sep 12, 2024Updated last year
- Implementation of the Lemke-Howson algorithm for finding MNE☆15Nov 2, 2013Updated 12 years ago
- http://www.cse.chalmers.se/edu/course/afp/☆16Dec 1, 2015Updated 10 years ago
- ☆21Dec 28, 2025Updated 3 months ago
- ☆26Mar 21, 2025Updated last year
- Composable probability monads in Haskell.☆22Jul 17, 2015Updated 10 years ago
- Fork of kingoflolz/mesh-transformer-jax with memory usage optimizations and support for GPT-Neo, GPT-NeoX, BLOOM, OPT and fairseq dense L…☆22Nov 14, 2022Updated 3 years ago
- I.I-XI of Spinoza's Ethics, formalized in Coq☆18Jan 1, 2016Updated 10 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Accurately solving the Diamond-Mortenson-Pissarides model of labor-market search☆18Feb 14, 2026Updated 2 months ago
- Micro-blogging engine☆58Sep 2, 2013Updated 12 years ago
- Implementation of Dynamic Time Warping in Haskell☆18Jan 25, 2023Updated 3 years ago
- Procedurally generated fire animation☆15Feb 8, 2016Updated 10 years ago
- Arduino Amateur Radio NRF24L01 2.4 GHz USB serial KISS TNC (terminal node controller) for AX25 packet networks☆20Mar 4, 2021Updated 5 years ago
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆21Aug 19, 2024Updated last year
- ☆17Feb 16, 2024Updated 2 years ago
- Source files for my experiments not limited to computer graphics.☆13May 11, 2025Updated 11 months ago
- Python package for the simulation and estimation of generalized Roy model☆22Oct 28, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Feb 11, 2026Updated 2 months ago
- A curated list of mechanism design resources and links.☆24Apr 5, 2021Updated 5 years ago
- Cellular autotmata screensaver with a colourful rock-paper-scissors implementation.☆12Mar 8, 2015Updated 11 years ago
- Relic's homeworld source code☆12Aug 3, 2018Updated 7 years ago
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆27Sep 15, 2025Updated 7 months ago
- Attempt at understanding and playing with the Noctis IV+ source code☆12Mar 8, 2015Updated 11 years ago
- Systems Oriented Assembly Lisp. Spiritual successor to naughty dog's GOAL.☆11May 28, 2020Updated 5 years ago