jonklein / Psh
Java implementation of the Push programming language, a stack based language designed for genetic programming.
☆24Updated 13 years ago
Related projects ⓘ
Alternatives and complementary repositories for Psh
- Sequitur and RePair grammar induction algorithms implementation☆24Updated 11 months ago
- Library-based Language Extensibility☆39Updated 10 years ago
- reinforcement learning algorithms from the book by Sutton and Barto☆16Updated 3 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆36Updated 3 weeks ago
- CoreASM core projects☆22Updated 11 months ago
- The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated b…☆8Updated 3 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆10Updated 9 years ago
- ☆22Updated 10 years ago
- linear algebra for tensors with symbolic and numeric scalars☆33Updated 5 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Hierarchical Temporal Sparse Learner☆13Updated 9 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- A Sparse Distributed Memory Framework.☆44Updated 5 years ago
- A robust Linear Genetic Programming implementation on the JVM using Kotlin.☆18Updated 3 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆17Updated 11 months ago
- ☆34Updated 4 years ago
- a prolog☆29Updated 13 years ago
- Whole Platform Language Workbench☆27Updated 5 months ago
- A Java implementation of the Shen programming language☆28Updated 5 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 6 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- Java <-> XSB Prolog bridge library☆12Updated 4 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆21Updated 2 months ago
- JVM Abstracting Abstract Machine☆25Updated 5 years ago
- A flexible pure-Java OCR implementation. Eventually.☆20Updated 9 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆14Updated 2 years ago
- JPL: The Prolog <-> Java interface☆54Updated this week
- Primary implementation of the Venture probabilistic programming system☆28Updated 5 years ago
- purple: compiling a reflective language☆29Updated last month