alexprengere / FormalSystems
A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
☆619Updated 3 years ago
Alternatives and similar repositories for FormalSystems:
Users that are interested in FormalSystems are comparing it to the libraries listed below
- A workshop for scientific computing in Python. ( December 2017 )☆379Updated 6 years ago
- Write Python instead of Latex for math expressions.☆189Updated 4 years ago
- ☆239Updated 8 years ago
- Algebraic Number Theory package☆271Updated 3 years ago
- Simulate reverse causality using quantum suicide.☆366Updated 8 years ago
- A document version of my "Vipassana for Hackers" talk☆592Updated 7 months ago
- The book "Annotated Algorithms in Python" and the nlib.py library☆1,328Updated last year
- A Digital Scientific Notation☆281Updated 4 years ago
- ☆438Updated 6 years ago
- Luke Gorrie's blog☆566Updated last year
- A framework of abstractions☆294Updated 6 months ago
- A new pure functional language built on the top of Python☆280Updated 3 years ago
- Conference Talks and Proposals☆752Updated 6 years ago
- This repo contains utilities for capturing AIS messages and joining them with shipping records.☆427Updated 7 years ago
- Collection of quotes on notation design & how it affects thought.☆1,846Updated 4 years ago
- Find surprising moves in chess games☆177Updated 4 years ago
- Directory of Jupyter notebooks exploring various topics☆316Updated 7 years ago
- Simple blockchain server written in Haskell for educational purposes☆601Updated 6 years ago
- A discrete-time Python-based solver for the Stochastic On-Time Arrival routing problem☆412Updated 3 years ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆237Updated 4 years ago
- The Berkeley Document Summarizer is a learning-based, single-document summarization system that extracts source document content, exploit…☆741Updated 5 years ago
- Musings on building groundbreaking technology companies.☆423Updated 7 years ago
- an embeddable dumb heartbeat daemon in 260 bytes of RAM and ≈350 bytes of code☆270Updated 7 years ago
- Bare bone examples of machine learning in TensorFlow☆2,421Updated 7 years ago
- Machine Learning on Sequential Data Using a Recurrent Weighted Average☆601Updated 4 years ago
- Efficient Counter that uses a limited (bounded) amount of memory regardless of data size.☆934Updated 2 years ago
- Simple and ready-to-use deep learning examples for the Microsoft Cognitive Toolkit (CNTK)☆331Updated 4 years ago
- Prototype smart text editor☆1,055Updated 7 months ago
- Pragmatic & Practical Bayesian Sentiment Classifier☆220Updated 7 years ago
- Athena Regional Stability Simulation☆85Updated 8 years ago