emreyolcu / rewriting-collatzLinks
An automated approach to the Collatz conjecture
☆13Updated 2 years ago
Alternatives and similar repositories for rewriting-collatz
Users that are interested in rewriting-collatz are comparing it to the libraries listed below
Sorting:
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- Metamath verifier in Python☆40Updated 4 months ago
- ☆20Updated 2 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆27Updated last month
- Smallish programs written to learn something.☆51Updated last year
- Cellular automata search program☆26Updated 3 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆48Updated 3 weeks ago
- PRolog Equation Solving System☆29Updated 9 years ago
- a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…☆15Updated 3 years ago
- Reason about Term Rewriting Systems☆18Updated 3 years ago
- ☆11Updated last year
- Algorithmic Information Theory, using Binary Lambda Calculus☆170Updated last week
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆43Updated this week
- metamath proof enumerators and other things☆91Updated last year
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 2 weeks ago
- Book lucid interpreter written in python☆24Updated 6 years ago
- A Small Combinator-Reduction System☆16Updated 5 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 8 years ago
- Differentiable Forth Interpreter☆72Updated 7 years ago
- Python term rewriting☆30Updated 12 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆58Updated 16 years ago
- An implementation of the APL language in Python with the Numpy module☆29Updated 8 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- A minimal Forth VM and Compiler implemented in PostScript☆29Updated 14 years ago
- An Impractical Stack Language☆14Updated 5 years ago
- A revival of the TREE-META compiler-compiler.☆15Updated 7 years ago
- Resource Aware, Recursive Virtual Machine☆10Updated 2 years ago
- Here we give programs that check if Turing machines halt or not.☆14Updated last month