Select a tag to browse associated projects and drill deeper into the tag cloud.
SWI-Prolog
Analyzed about 16 hours ago
SWI-Prolog is a comprehensive implementation of the Prolog programming language. It provides robust multi-threading, supports many document formats and protocols as well as interfaces to other programming languages. It includes a powerful HTTP server framework. The online version
Licenses:
bsd_2clau...
Coq proof assistant
Analyzed about 13 hours ago
Coq is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows:
* to define functions or predicates,
* to state mathematical theorems and software specifications,
* to develop interactively formal proofs of these theorems,
* to
Qucs
Analyzed 2 days ago
Qucs is a integrated circuit simulator for rapid development of analog and digital circuits and wide range of simulations.
DC, AC, S-parameter, noise and transient analysis are supported, mathematical equations and use of a subcircuit hierarchy are available. Digital circuit models and
sigrok
No analysis available
The sigrok project aims at creating a portable, cross-platform, Free/Libre/Open-Source signal analysis software suite that supports various device types, such as logic analyzers, MSOs, oscilloscopes, multimeters, LCR meters, sound level meters, thermometers, anemometers, light meters, dataloggers
Mostly written in language not available
Licenses:
gpl, gpl3_or_l...
libsigrok
Analyzed about 1 hour ago
The sigrok project aims at creating a portable, cross-platform, Free/Libre/Open-Source signal analysis software suite that supports various device types, such as logic analyzers, MSOs, oscilloscopes, multimeters, LCR meters, sound level meters, thermometers, anemometers, light meters, dataloggers
Licenses:
gpl3_or_l...
Pellet
P
Analyzed 1 day ago
Pellet is an open source, OWL DL reasoner in Java developed and supported by Clark & Parsia, LLC.
Mercury Language
Analyzed 1 day ago
Mercury is a logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems
XSB
X
No analysis available
XSB is a Logic Programming and Deductive Database system for Unix and Windows. It is being developed at a number of institutions, including the Computer Science Department of Stony Brook University, Universidade Nova de Lisboa, XSB, Inc, Katholieke Universiteit Leuven, and Uppsala Universitet.
Mostly written in language not available
Licenses:
gpl
Debian Science
Claimed by Debian No analysis available
The main goal of the Debian Science project is to provide a system with all the most important free scientific software in each scientific field.
Mostly written in language not available
Licenses:
CoreSystemIV, Multiple_...
fuzzylite
Analyzed 19 days 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_...