Select a tag to browse associated projects and drill deeper into the tag cloud.
annas Graph Package
A
Analyzed about 3 hours ago
Annas is an Open source Graph package for java developer. Annas allow Graphs to be models and includes a good selection of Graph algorithm.
Licenses:
cc-by-25, gpl3
CVC4
Analyzed about 16 hours ago
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination.
Licenses:
BSD-3-Clause
fluokitten
F
Analyzed about 22 hours ago
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
Licenses:
eclipse
clj-cats
Analyzed about 2 hours ago
Category Theory and algebraic abstractions for Clojure.
Licenses:
bsd_2clau...
Polyworld
P
Analyzed about 1 hour ago
Polyworld is one of the earliest and most sophisticated artificial worlds developed to study Artificial Life and Artificial Intelligence, using computational genetics, physiology, metabolism, neural networks, learning, vision, and behavior.
Licenses:
No declared licenses