OscarCunningham / logic-life-searchLinks
Cellular automata search program
☆26Updated 3 years ago
Alternatives and similar repositories for logic-life-search
Users that are interested in logic-life-search are comparing it to the libraries listed below
Sorting:
- Javascript implementation of Fractran☆14Updated 8 years ago
- Metamath verifier in Python☆40Updated 4 months ago
- Quipu Programming Language☆20Updated 12 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated last week
- A Windows program to search for cellular automata patterns☆16Updated 12 years ago
- Cayley Dickson algebra implementation in python☆12Updated 6 years ago
- LODA Programs for Integer Sequences☆36Updated this week
- Reversible cellular automata simulator in HTML5 + Java Script.☆32Updated 8 years ago
- PRolog Equation Solving System☆29Updated 9 years ago
- A feature-rich, two-dimensional, recreational programming language. With mirrors.☆46Updated 4 years ago
- A code-golf language written in Mathematica☆20Updated 5 years ago
- An implementation of the APL language in Python with the Numpy module☆29Updated 8 years ago
- Implementation of Gosper's hashlife algorithm☆40Updated 11 months ago
- Source of metamath book☆51Updated last year
- http://mroman.ch/burlesque☆14Updated 5 years ago
- A minecraft esolang☆12Updated 6 years ago
- An automated approach to the Collatz conjecture☆13Updated 2 years ago
- An Esoteric Programming Language based on Reverse Polish Notation☆12Updated 8 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- beeswax Esoteric Programming Language☆15Updated 5 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 3 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆130Updated 11 years ago
- Python term rewriting☆30Updated 12 years ago
- A python tool to create drawings in the hyperbolic disk (e.g. for inclusion in LaTex documents). The output is either a Tikz figure (a .…☆10Updated last year
- A LISP-like functional programming language suitable for code golf☆13Updated 7 years ago
- JavaScript language bars, keyboard layout key-bindings, and character compositions for entering APL characters☆28Updated 4 months ago
- Here we give programs that check if Turing machines halt or not.☆14Updated last month
- A programming language.☆21Updated 8 years ago
- Radvylf Should Not Be Allowed To Write Programming Languages☆12Updated 2 years ago