phillikus / turing_machine
A simple turing machine, written in Python
☆15Updated 7 years ago
Alternatives and similar repositories for turing_machine:
Users that are interested in turing_machine are comparing it to the libraries listed below
- Implementation of a Turing Machine that runs the Busy Beaver programs.☆20Updated 15 years ago
- Abstract type and interface definition for quantum circuit blocks.☆17Updated 3 years ago
- Deep Probabilistic Programming Language☆19Updated 9 months ago
- A new language for optimization☆13Updated 3 years ago
- Jupyter notebooks with some NAND code☆19Updated 6 years ago
- The k-nearest neighbors algorithm in Julia☆22Updated 3 years ago
- Theorems, Definitions, Papers, Research☆17Updated 5 years ago
- The Juice package for circuits in artificial intelligence, both logic and probabilistic☆12Updated 3 years ago
- Python tools for supervised learning by Quantum Neural Networks☆51Updated 6 years ago
- C++ courses for Paris Dauphine☆22Updated 3 years ago
- The CompilerTools package, part of the High Performance Scripting project at Intel Labs☆30Updated 2 years ago
- Julia programs which compute the Feigenbaum constants☆9Updated 7 years ago
- ☆10Updated 6 years ago
- A curated list of Quantum Computing resources, articles, programming languages and projects. The main idea is that everyone can contribut…☆21Updated 2 years ago
- A free open-source textbook for Multivariable Calculus that emphasizes differentials and linear algebra☆37Updated 14 years ago
- Logic Circuits from the Juice library☆48Updated 10 months ago
- Metamath verifier in Python☆38Updated last year
- Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at☆120Updated this week
- Standard basic quantum circuit simulator building blocks. (archived, for it is moved to Yao.jl)☆26Updated 3 years ago
- Jupyter Kernel for Mathics☆20Updated 8 years ago
- OpenCog Unsupervised Language Learning☆20Updated 5 years ago
- ☆17Updated 7 years ago
- ☆13Updated 2 years ago
- A collection of Kanren implementations in Julia☆24Updated 8 years ago
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- Boolean satisfiability for propositional logic in Python☆14Updated 9 years ago
- Physics Derivation Graph: mathematical connections among equations☆20Updated 11 months ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 3 years ago
- ☆14Updated 5 years ago
- Neural style in Julia☆11Updated 5 years ago