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:
- Metamath verifier in Python☆39Updated last year
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- ☆19Updated 2 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- Javascript implementation of Fractran☆14Updated 7 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆27Updated last year
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆27Updated 3 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- software archaeology of reflective towers of interpreters☆16Updated 7 months ago
- sorear's Metamath system engine☆13Updated 9 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆18Updated 3 months ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated last year
- Runtime and miner for the LODA language written in C++☆24Updated this week
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆13Updated last year
- CSOM - C implementation of the Simple Object Machine Smalltalk☆11Updated 3 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- PRolog Equation Solving System☆30Updated 8 years ago
- ☆19Updated 8 years ago
- CHR: Leuven Constraint Handling Rules☆26Updated last month
- Base Forward Chaining Knowledge Base Maintenance System☆19Updated 3 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆14Updated 3 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 8 years ago
- Python term rewriting☆29Updated 12 years ago