emreyolcu / rewriting-collatzLinks
An automated approach to the Collatz conjecture
☆13Updated last year
Alternatives and similar repositories for rewriting-collatz
Users that are interested in rewriting-collatz are comparing it to the libraries listed below
Sorting:
- ☆20Updated 2 years ago
- Metamath verifier in Python☆40Updated 2 months ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated 4 months ago
- Smallish programs written to learn something.☆51Updated last year
- ☆10Updated last year
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- PRolog Equation Solving System☆29Updated 8 years ago
- Cellular automata search program☆26Updated 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
- Reason about Term Rewriting Systems☆16Updated 3 years ago
- deep learning for math☆29Updated 6 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆18Updated 5 years ago
- Source of metamath book☆49Updated last year
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆43Updated last week
- Doug Lenat's EURISKO from SAIL archives circa 1981☆66Updated last year
- Algorithmic Information Theory, using Binary Lambda Calculus☆166Updated this week
- A concise programming language that is fun to use☆16Updated 9 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆27Updated last week
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Resource Aware, Recursive Virtual Machine☆10Updated 2 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- A revival of Terry Winograd's famous SHRDLU program, adapted to use on the web.☆34Updated 10 years ago
- A minimal Forth VM and Compiler implemented in PostScript☆28Updated 14 years ago
- Javascript implementation of Fractran☆14Updated 7 years ago
- Book lucid interpreter written in python☆24Updated 6 years ago
- An implementation of the APL language in Python with the Numpy module☆29Updated 8 years ago
- The Thue programming language: Programming with grammars☆32Updated 11 years ago