Alternatives and similar repositories for turing_machine:

Users that are interested in turing_machine are comparing it to the libraries listed below

• IgnitionProject / ignition
  A numerical code generator
  ☆20Updated 11 years ago
• stephenathel / gawxm
  Geometric Algebra using wxMaxima (GAwxM)
  ☆12Updated 9 months ago
• ai4reason / ATP_Proofs
  Interesting ATP Proofs
  ☆13Updated 3 years ago
• jasongrout / multivariable-calculus
  A free open-source textbook for Multivariable Calculus that emphasizes differentials and linear algebra
  ☆38Updated 13 years ago
• cnewstead / infdesc
  An Infinite Descent into Pure Mathematics
  ☆42Updated 4 years ago
• mghasemi / Irene
  Irene is a python package that aims to be a toolkit for global optimization problems that can be realized algebraically. It generalizes L…
  ☆14Updated 5 months ago
• KULeuven-CS / Parallel-Computing
  Parallel Computing (B-KUL-H03F9A)
  ☆9Updated 10 years ago
• chakravala / Math-Research-Notes
  Theorems, Definitions, Papers, Research
  ☆17Updated 5 years ago
• finsberg / category-theory-python
  Learning platform for category theory in python
  ☆16Updated this week
• davidar / stochaskell
  ☆13Updated 2 years ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆28Updated 3 months ago
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 8 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 10 months ago
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆11Updated 7 years ago
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 3 years ago
• probcomp / cgpm
  Library of composable generative population models which serve as the modeling and inference backend of BayesDB.
  ☆25Updated 7 months ago
• loopspace / tikzmark
  The dread tikzmark arrives on github
  ☆14Updated 3 months ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated 9 months ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• emstoudenmire / parity
  Experiments learning the even-parity dataset with MPS (tensor trains)
  ☆23Updated last year
• stacks / stacks-tools
  Tools for managing the TeX sources of the Stacks project
  ☆16Updated 9 months ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• jiahao / ijulia-notebooks
  My IJulia notebooks
  ☆33Updated 7 years ago
• rrtucci / Entanglish
  python toolbox for calculations related to quantum entanglement (including squashed entanglement) "Speak Quantum Friend and Enter"
  ☆15Updated 4 years ago
• ReScience / template
  Template for article submission
  ☆21Updated 2 years ago
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆49Updated last year
• MathWebSearch / mws
  MathWebSearch Implementation
  ☆47Updated 2 years ago
• AlgebraicJulia / ModelExploration.jl
  Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
  ☆12Updated last year
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year
• dubrousky / mockmma
  ☆29Updated 7 years ago