Select a tag to browse associated projects and drill deeper into the tag cloud.
GNU Prolog
Claimed by GNU Analyzed 1 day ago
GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver.
Licenses:
gpl, lgpv3_or_...
OVal - Object Validation for Java 5
Analyzed about 14 hours ago
OVal is a pragmatic and extensible validation framework for any kind of Java objects (not only JavaBeans).
Constraints can be declared with annotations (@NotNull, @MaxLength), POJOs or XML.
Custom constraints can be expressed as custom Java classes or by using scripting languages such as
Licenses:
eclipse, EPL2
cassowary.js
C
Analyzed about 4 hours ago
Cassowary/JS, better, faster, future-ready
Licenses:
apache_2
Cassowary
C
Analyzed about 5 hours ago
Cassowary is an incremental constraint solving toolkit that efficiently solves systems of linear equalities and inequalities. Constraints may be either requirements or preferences. Re-solving the system happens rapidly, supporting UI applications.
Licenses:
No declared licenses
CVC4
Analyzed about 13 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
Grid Style Sheets (GSS)
Claimed by TheGrid Analyzed about 17 hours ago
GSS reimagines CSS layout & replaces the browser’s layout engine with one that harnesses the Cassowary Constraint Solver — the same algorithm Apple uses to compute native layout.
Java Validation Framework
Analyzed about 15 hours ago
Java Validation Framework (not a JSR-303 implementation). This framework allows to modify (correct) test values; supports validation of localized values; allows to convert values into and from text representation; formats error messages, depending on the context; supports metadata, which allows to
Licenses:
apache_2