Select a tag to browse associated projects and drill deeper into the tag cloud.
fuzzylite
Analyzed about 3 hours ago
fuzzylite is a cross-platform, free open-source fuzzy logic control library written in C++. Its goal is to allow you to easily create fuzzy logic controllers in a few steps utilizing object-oriented programming without requiring any third-party libraries.
Licenses:
commercia..., lgpv3_or_...
PolyBoRi
P
No analysis available
PolyBoRi is implemented as a C++ library for Polynomials over Boolean Rings, which provides high-level data types for Boolean polynomials. A python-interface yields extensible algorithms for computing Groebner bases over Boolean Rings.
Mostly written in language not available
Licenses:
No declared licenses
Isabelle
No analysis available
Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. Isabelle is developed at University of Cambridge (Larry Paulson) and Technical University of Munich (Tobias Nipkow).
Mostly written in language not available
Licenses:
BSD-3-Clause
GAPT
Analyzed 1 day ago
GAPT is a proof theory framework. The framework aims at creating data types, algorithms, parsers, transformations and other components common in proof theory in general and automated proof theory in particular.
Two of the applications within this framework, which will be directly developed and
Licenses:
gpl3_or_l...
BinPy
Analyzed 1 day ago
We are trying to build a library which will be capable of simulating all the hardware available in the market. It will boost the research and development in the field of electronics and scientific computing.
Licenses:
BSD-2-Clause
LogicMOO Simulated World
L
No analysis available
Use a language CycL or KIF to represent shared ontological integration with a first person MOO system to provide debugging and agent facilities.
Mostly written in language not available
Licenses:
No declared licenses
Argunet
No analysis available
Argunet is a client-server software for computer-supported argument visualization (CSAV). Reconstructed debates are visualized as argument maps and can be shared through the Argunet Server.
Mostly written in language not available
Licenses:
GNU-GPLv2
Fluent Validation for .NET
No analysis available
A small validation library for .NET that uses a fluent interface and lambda expressions for building validation rules for your business objects.
Mostly written in language not available
Licenses:
apache_2
Ciao Programming Language
Analyzed 4 months ago
Ciao is a LGPL licensed, extensible, next generation Prolog system, offering a programming environment with plenty of capabilities and libraries. Too many to be listed here.
Licenses:
No declared licenses