Select a tag to browse associated projects and drill deeper into the tag cloud.
STACK
Analyzed about 7 hours ago
STACK is a question type for Moodle the provides advanced facilities for assessing mathematics.
Licenses:
gpl3_or_l...
Gappa
G
No analysis available
The Gappa tool helps developers to verify arithmetic properties on their numerical programs (either floating-point or fixed-point computations). It can also generate formal proofs of the properties for extra confidence. It has been successfully used with several projects, e.g. for writing some
Mostly written in language not available
Licenses:
gpl
Goffice
G
No analysis available
GOffice is a library of document centric objects and utilities building on top of GLib and Gtk+.
Mostly written in language not available
Licenses:
gpl
KTurtle
Claimed by KDE Analyzed about 22 hours ago
KTurtle is an educational programming environment. KTurtle aims to make programming as easy and touchable as possible, and therefore can be used to teach kids the basics of math, geometry and... programming.
The programming language used in KTurtle is loosly based on Logo. KTurtle allows, just like
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_...
Units of Measurement
No analysis available
JSR 385 - A Units of Measurement API for the Java Community: (successor to JSR 363, replacing JSR 275, 108, 256 and earlier efforts like OSGi Measurements). Allowing experts to collaborate on source code evolving around Unit Standards like UCUM.
Mostly written in language not available
Licenses:
apache_2, bsd_2clau..., BSD-3-Clause
DOLFIN
Analyzed 1 day ago
DOLFIN is a C++/Python library that functions as the main user interface of FEniCS. A large part of the functionality of FEniCS is implemented as part of DOLFIN. It provides a problem solving environment for models based on partial differential equations and implements core parts of the
Java Data Mining Package (JDMP)
Analyzed about 19 hours ago
The Java Data Mining Package (JDMP) is an open source Java library for data analysis and machine learning.
It facilitates the access to data sources and machine learning algorithms (e.g. clustering, regression, classification, graphical models, optimization) and provides visualization modules. It
RGL
No analysis available
RGL is a framework for graph datastructures and algorithms implemented in Ruby.
Mostly written in language not available
Licenses:
Ruby_License
