alexprengere / FormalSystems
A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
☆622Updated 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 2 months ago
- Algebraic Number Theory package☆272Updated 3 years ago
- Luke Gorrie's blog☆564Updated 2 years ago
- A document version of my "Vipassana for Hackers" talk☆595Updated 10 months ago
- A framework of abstractions☆293Updated 10 months ago
- A new pure functional language built on the top of Python☆280Updated 3 years ago
- A workshop for scientific computing in Python. ( December 2017 )☆378Updated 7 years ago
- Simulate reverse causality using quantum suicide.☆366Updated 8 years ago
- Collection of quotes on notation design & how it affects thought.☆1,882Updated 4 years ago
- Simple blockchain server written in Haskell for educational purposes☆601Updated 7 years ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆237Updated 4 years ago
- Prototype smart text editor☆1,063Updated last month
- The Berkeley Document Summarizer is a learning-based, single-document summarization system that extracts source document content, exploit…☆743Updated 6 years ago
- ☆609Updated 8 years ago
- A single handwritten digit classifier, using the MNIST dataset. Pure Numpy.☆786Updated 5 years ago
- The book "Annotated Algorithms in Python" and the nlib.py library☆1,327Updated 2 years ago
- BayesDB on SQLite. A Bayesian database table for querying the probable implications of data as easily as SQL databases query the data its…☆932Updated last year
- Find surprising moves in chess games☆178Updated 4 years ago
- Athena Regional Stability Simulation☆85Updated 9 years ago
- 🖥️ a cross-platform modern shell.☆813Updated 4 years ago
- ☆438Updated 6 years ago
- Machine Learning on Sequential Data Using a Recurrent Weighted Average☆602Updated 5 years ago
- Efficient Counter that uses a limited (bounded) amount of memory regardless of data size.☆935Updated 2 years ago
- Write Python instead of Latex for math expressions.☆189Updated 5 years ago
- A discrete-time Python-based solver for the Stochastic On-Time Arrival routing problem☆415Updated 3 years ago
- Deep neural network using rectified linear units to classify hand written symbols from the MNIST dataset.☆243Updated 2 years ago
- Neural networks for monitoring cardiac data☆485Updated 5 years ago
- ☆239Updated 9 years ago
- A searchable, syncable, content-addressable notetaking system☆1,036Updated 8 years ago
- Collection of papers☆470Updated 3 years ago