The Item Response Theory (IRT) library is a set of functions to estimate the items and abilities from the responses of subjects to a questionnaire. The IRT models supported are the logistic model, the nominal response model, the graded response model, and smoothing by penalization and kernel. The project also hosts rirt, a package for the R Project for Statistical Computing, and eirt, an add-in for Excel.
Libgvectors is a C++ library for visualizing three dimensional mathematical vectors, providing three fundamental classes for achieving its purpose. It makes as few assumptions as possible about the graphics library used to draw vectors on a screen and is not bound to any particular graphics library.
trojuhelnik is a general solver for triangles. It computes all possible solutions for a triangle that is specified by an arbitrary triple of the following elements: sides, angles, altitudes, medians, angle bisectors, area, radius of circumscribed and inscribed circle, sum a+b, perimeter and difference of the angles. All other elements, triangle visualization, and graphs of elements dependencies are also available.
DOLFIN is the C++ interface of the FEniCS project for the Automation of Computational Mathematical Modeling (ACMM), providing a consistent PSE (Problem Solving Environment) for solving ordinary and partial differential equations. Key features include a simple, consistent and intuitive object-oriented API; automatic and efficient evaluation of variational forms through FFC; automatic and efficient assembly of linear systems; and support for general families of finite elements.
MCL-edge is an integrated command-line driven workbench for large scale network analysis. It includes programs for the computation of shortest paths, diameter, clustering coefficient, betweenness centrality, and network shuffles. A module for loading and analyzing gene expression data as a network is provided. The MCL algorithm is a fast and highly scalable cluster algorithm for networks based on stochastic flow. The flow process employed by the algorithm is mathematically sound and intrinsically tied to cluster structure, which is revealed as the imprint left by the process. The threaded implementation has handled networks with millions of nodes within hours and is widely used in the fields of bioinformatics, graph clustering, and network analysis.
GraSy is a tool that converts context-free grammars, which are written in the "Backus-Naur Form" (BNF), into syntax diagrams and the other way around. The grammar and the syntax diagrams can be saved with g2s-file. It is also possible to export syntax diagrams as PostScript files. To keep a good overview while creating syntax diagrams it is possible to change the zoom level.
The Mobius verification environment supports the development of specifications, programs, and proofs of their security properties. It will support both source code and bytecode level verification, and be able to produce the output necessary for the generation of PCC certificates.