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
- Simulate reverse causality using quantum suicide.☆365Updated 8 years ago
- Algebraic Number Theory package☆272Updated 3 years ago
- A framework of abstractions☆293Updated 8 months ago
- A workshop for scientific computing in Python. ( December 2017 )☆378Updated 7 years ago
- Moved to https://codeberg.org/khinsen/leibniz☆281Updated last month
- A single handwritten digit classifier, using the MNIST dataset. Pure Numpy.☆786Updated 5 years ago
- Luke Gorrie's blog☆564Updated 2 years ago
- Simple blockchain server written in Haskell for educational purposes☆601Updated 7 years ago
- Science-based games - a collaborative list☆1,605Updated 9 months ago
- A document version of my "Vipassana for Hackers" talk☆594Updated 9 months ago
- The book "Annotated Algorithms in Python" and the nlib.py library☆1,326Updated 2 years ago
- Directory of Jupyter notebooks exploring various topics☆316Updated 8 years ago
- Barebones bitcoin-like protocol implemented in Python 3.6☆394Updated 7 years ago
- A new pure functional language built on the top of Python☆280Updated 3 years ago
- Athena Regional Stability Simulation☆85Updated 9 years ago
- Conference Talks and Proposals☆752Updated 7 years ago
- This note presents in a technical though hopefully pedagogical way the three most common forms of neural network architectures: Feedforwa…☆1,388Updated 5 years ago
- Collection of quotes on notation design & how it affects thought.☆1,850Updated 4 years ago
- Collection of papers☆470Updated 3 years ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆237Updated 4 years ago
- ☆239Updated 9 years ago
- Bare bone examples of machine learning in TensorFlow☆2,418Updated 8 years ago
- Honest CVs from programmers☆232Updated 3 years ago
- Musings on building groundbreaking technology companies.☆424Updated 7 years ago
- Find surprising moves in chess games☆177Updated 4 years ago
- Neural networks for monitoring cardiac data☆486Updated 4 years ago
- Write Python instead of Latex for math expressions.☆189Updated 4 years ago
- 🖥️ a cross-platform modern shell.☆814Updated 4 years ago
- Fun with time travel: Implementing retroactive data structures in Python☆225Updated 3 years ago
- Develop and run your Python applications in clean Docker environments☆352Updated 5 years ago