Hodoku
opennars
Our great sponsors
Hodoku | opennars | |
---|---|---|
13 | 5 | |
57 | 348 | |
- | 0.0% | |
0.0 | 0.0 | |
over 1 year ago | over 2 years ago | |
Java | Java | |
GNU General Public License v3.0 only | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Hodoku
We haven't tracked posts mentioning Hodoku yet.
Tracking mentions began in Dec 2020.
opennars
We haven't tracked posts mentioning opennars yet.
Tracking mentions began in Dec 2020.
What are some alternatives?
OptaPlanner - Java Constraint Solver to solve vehicle routing, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
opencog - A framework for integrated Artificial Intelligence & Artificial General Intelligence (AGI)
Choco - An open-source Java library for Constraint Programming
numberlink - Program for generating and solving numberlink / flow free puzzles
OpenNARS-for-Applications - General reasoning component for applications based on NARS theory.
zebra4j - zebra4j is a generator and solver library for Zebra puzzles, also knows as "logic grid puzzles".
Recaf - The modern Java bytecode editor
RoyalUr-Analysis - This repository is dedicated to the technical analysis of The Royal Game of Ur. We aim to answer: How much of the game is luck, and how much is skill?
awesome-rust-formalized-reasoning - An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
Android-Jigsaw-Puzzle - Android app that allows you to draw anything and turn it into a jigsaw puzzle.
grakn - TypeDB: a polymorphic database powered by types