alexprengere / FormalSystemsLinks
A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
☆626Updated 4 years ago
Alternatives and similar repositories for FormalSystems
Users that are interested in FormalSystems are comparing it to the libraries listed below
Sorting:
- Algebraic Number Theory package☆271Updated 4 years ago
- A framework of abstractions☆294Updated last year
- Simulate reverse causality using quantum suicide.☆366Updated 9 years ago
- A document version of my "Vipassana for Hackers" talk☆596Updated last year
- ☆238Updated 9 years ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 11 months ago
- A new pure functional language built on the top of Python☆279Updated 4 years ago
- A workshop for scientific computing in Python. ( December 2017 )☆378Updated 7 years ago
- Find surprising moves in chess games☆178Updated 5 years ago
- Athena Regional Stability Simulation☆85Updated 9 years ago
- A single handwritten digit classifier, using the MNIST dataset. Pure Numpy.☆786Updated 6 years ago
- Conference Talks and Proposals☆751Updated 7 years ago
- The book "Annotated Algorithms in Python" and the nlib.py library☆1,334Updated 2 years ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆234Updated 5 years ago
- Barebones bitcoin-like protocol implemented in Python 3.6☆393Updated 8 years ago
- Fun with time travel: Implementing retroactive data structures in Python☆227Updated 4 years ago
- Write Python instead of Latex for math expressions.☆189Updated 5 years ago
- Chaotic Life☆44Updated 8 years ago
- The Berkeley Document Summarizer is a learning-based, single-document summarization system that extracts source document content, exploit…☆745Updated 6 years ago
- Neural networks for monitoring cardiac data☆489Updated 5 years ago
- Simple blockchain server written in Haskell for educational purposes☆602Updated 7 years ago
- Honest CVs from programmers☆232Updated 4 years ago
- A discrete-time Python-based solver for the Stochastic On-Time Arrival routing problem☆416Updated 4 years ago
- Prototype smart text editor☆1,076Updated 10 months ago
- Luke Gorrie's blog☆567Updated 2 years ago
- Repository for PyCon 2016 workshop Natural Language Processing in 10 Lines of Code☆240Updated 8 years ago
- Pragmatic & Practical Bayesian Sentiment Classifier☆221Updated 8 years ago
- Collection of quotes on notation design & how it affects thought.☆1,900Updated 5 years ago
- ☆438Updated 7 years ago
- This repo contains utilities for capturing AIS messages and joining them with shipping records.☆430Updated 8 years ago