alexprengere / FormalSystems
A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
☆619Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for FormalSystems
- Simulate reverse causality using quantum suicide.☆367Updated 7 years ago
- A workshop for scientific computing in Python. ( December 2017 )☆380Updated 6 years ago
- A framework of abstractions☆293Updated 4 months ago
- ☆240Updated 8 years ago
- Collection of quotes on notation design & how it affects thought.☆1,845Updated 3 years ago
- A Digital Scientific Notation☆281Updated 3 years ago
- Conference Talks and Proposals☆750Updated 6 years ago
- Algebraic Number Theory package☆272Updated 3 years ago
- The book "Annotated Algorithms in Python" and the nlib.py library☆1,327Updated last year
- A document version of my "Vipassana for Hackers" talk☆590Updated 4 months ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆237Updated 3 years ago
- The Berkeley Document Summarizer is a learning-based, single-document summarization system that extracts source document content, exploit…☆742Updated 5 years ago
- A single handwritten digit classifier, using the MNIST dataset. Pure Numpy.☆787Updated 5 years ago
- Luke Gorrie's blog☆566Updated last year
- A new pure functional language built on the top of Python☆281Updated 3 years ago
- Directory of Jupyter notebooks exploring various topics☆316Updated 7 years ago
- Fun with time travel: Implementing retroactive data structures in Python☆224Updated 3 years ago
- ☆607Updated 8 years ago
- This repo contains utilities for capturing AIS messages and joining them with shipping records.☆424Updated 7 years ago
- Barebones bitcoin-like protocol implemented in Python 3.6☆393Updated 6 years ago
- Neural networks for monitoring cardiac data☆486Updated 4 years ago
- Write Python instead of Latex for math expressions.☆189Updated 4 years ago
- Simple blockchain server written in Haskell for educational purposes☆601Updated 6 years ago
- Release one side project per month, log your results here!☆420Updated 5 years ago
- Find surprising moves in chess games☆177Updated 3 years ago
- Use PCA analysis to reorganize the pixels of a painting into a smooth color palette.☆223Updated last year
- Prototype smart text editor☆1,049Updated 5 months ago
- Honest CVs from programmers☆232Updated 3 years ago
- ☆439Updated 6 years ago
- 🖥️ a cross-platform modern shell.☆813Updated 3 years ago