alexprengere / FormalSystemsLinks
A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
☆621Updated 4 years ago
Alternatives and similar repositories for FormalSystems
Users that are interested in FormalSystems are comparing it to the libraries listed below
Sorting:
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 4 months ago
- Algebraic Number Theory package☆272Updated 4 years ago
- A framework of abstractions☆293Updated 11 months ago
- ☆238Updated 9 years ago
- The book "Annotated Algorithms in Python" and the nlib.py library☆1,329Updated 2 years ago
- Deep neural network using rectified linear units to classify hand written symbols from the MNIST dataset.☆243Updated 2 years ago
- Collection of quotes on notation design & how it affects thought.☆1,884Updated 4 years ago
- Simple blockchain server written in Haskell for educational purposes☆601Updated 7 years ago
- A new pure functional language built on the top of Python☆280Updated 3 years ago
- A document version of my "Vipassana for Hackers" talk☆595Updated 11 months ago
- Simulate reverse causality using quantum suicide.☆366Updated 8 years ago
- Conference Talks and Proposals☆753Updated 7 years ago
- Musings on building groundbreaking technology companies.☆424Updated 7 years ago
- Use PCA analysis to reorganize the pixels of a painting into a smooth color palette.☆225Updated 2 years ago
- Fun with time travel: Implementing retroactive data structures in Python☆225Updated 3 years ago
- The transcript of a Donald Knuth interview in 2006☆226Updated 8 years ago
- Athena Regional Stability Simulation☆85Updated 9 years ago
- Luke Gorrie's blog☆565Updated 2 years ago
- Release one side project per month, log your results here!☆420Updated 6 years ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆234Updated 4 years ago
- This repo contains utilities for capturing AIS messages and joining them with shipping records.☆428Updated 7 years ago
- ☆610Updated 8 years ago
- Neural networks for monitoring cardiac data☆486Updated 5 years ago
- Prototype smart text editor☆1,063Updated 3 months ago
- Find surprising moves in chess games☆178Updated 4 years ago
- Write Python instead of Latex for math expressions.☆189Updated 5 years ago
- Bare bone examples of machine learning in TensorFlow☆2,416Updated 8 years ago
- Barebones bitcoin-like protocol implemented in Python 3.6☆394Updated 7 years ago
- +2600 developer-related blogs and publications.☆637Updated 7 years ago
- Neural network inference the Unix way☆559Updated 6 years ago