# 27 projects tagged "Mathematics"

## Updated 24 Mar 2001 SyNTeX - Syntactic tree drawing program

 Pop 58.22 69.13

SyNTeX is a LaTeX preprocessor that draws syntactic trees using the LaTeX picture environment. The preprocessor reads the comments in a LaTeX file and draws the tree based on commands that it finds in the comments.

## Updated 19 Oct 2009 Date::Calc::XS

 Pop 14.11 40.61

Date::Calc::XS is a Perl module that is the C/XS part which Date::Calc used to consist of. Date::Calc has become a (pure-Perl) wrapper which tries to load Date::Calc::XS, and failing that, loads Date::Calc::PP (a pure-Perl implementation which is now part of Date::Calc and used to be Date::Pcalc).

## Updated 23 Jun 2013 LibBi

 Pop 18.33 17.49

LibBi is used for state-space modelling and Bayesian inference on high-performance computer hardware, including multi-core CPUs, many-core GPUs (graphics processing units), and distributed-memory clusters. The staple methods of LibBi are based on sequential Monte Carlo (SMC), also known as particle filtering. These methods include particle Markov chain Monte Carlo (PMCMC) and SMC2. Other methods include the extended Kalman filter and some parameter optimization routines. LibBi consists of a C++ template library and a parser and compiler, written in Perl, for its own modelling language.

## Updated 24 Jun 2010 Daikon

 Pop 89.26 9.8

Daikon is an implementation of dynamic detection of likely invariants. An invariant is a property (such as "x=2*y+5" or "this.next.prev = this" or "myarray is sorted by &lt;") that holds at a certain point or points in a program. Invariants are often seen in assert statements, documentation, and formal specifications. Invariants can be useful in program understanding and a host of other applications. Daikon runs a program, observes the values that the program computes, and then reports properties that were true over the observed executions. It can detect properties in Java, C, C++, Perl, and IOA programs, in spreadsheet files, and in other data sources.

## Updated 30 Sep 2009 Bit::Vector

 Pop 182.15 7.24

Bit::Vector is a (stand-alone) C library and an object-oriented Perl module (with overloaded operators) which allows you to handle bit vectors, sets (of integers), "big integer arithmetic" (e.g. for cryptography), and boolean matrices (all of arbitrary size) very efficiently.

## Updated 06 Mar 2011 number

 Pop 73.72 7.14

The number perl script will print the English name of a number. One can print names of extremely large numbers (e.g. 1e1234567). Number can be run on the command line, or as a CGI script when run as 'number.cgi'. Number prints names in both the American and European naming system. It can also print the decimal expansion of a number in either naming system.

## Updated 11 Mar 2012 Chombo

 Pop 35.21 7.1

The Chombo package provides a set of tools for implementing finite difference methods for the solution of partial differential equations on block-structured adaptively refined rectangular grids. Both elliptic and time-dependent modules are included. Support for parallel platforms and standardized self-describing file formats are included.

## Updated 02 Nov 2009 Date::Calc

 Pop 81.58 6.54

The Date::Calc package consists of a (pure-Perl) wrapper which either loads Date::Calc::XS (a separate implementation in C and XS) or Date::Calc::PP (a pure-Perl implementation which is part of the Date::Calc package). The Date::Calc::XS and Date::Calc::PP modules perform all kinds of date calculations based on the Gregorian calendar (the one used in all Western countries today), according to relevant norms and standards: ISO/R 2015-1971, DIN 1355 and, to some extent, ISO 8601 (where applicable). The package is designed as an efficient toolbox, not a bulky ready-made application. It provides extensive documentation and examples of use, multi-language support, and special functions for business needs.

## Updated 27 Jun 2004 Condorcet with Dual Dropping

 Pop 57.46 5.25

Condorcet with Dual Dropping is a ranking system for deciding single or multi-winner contests (elections) using voted preference (or approval) ballot list or pairwise tally matrix. It computes the Cloneproof Schwartz Sequential Dropping (CSSD) and Tideman's Ranked Pair (RP) results for each contest round, and selects the combined CSSD and RP outcome with the lowest overall dropping cost. There are options to compute just the CSSD, RP, or Minimum Dropping Cost outcome, various optional pair rank and winner tie-breakers, and alternative measures of dropping cost (winning votes and/or margin). It comes as a console program and CGI executable.

## Updated 09 Apr 2011 trad4

 Pop 65.93 5.18

Trad4 is a fully concurrent, thread safe, graph based programming language that scales linearly on multiple cores. It is initially intended for deployment in the financial industry to model real-time risk. Trad4 is proposed as an alternative to the Von Neumann model of computer architecture. It is a new way of arranging programs in memory and a new style of flow-of-control.

## Project Spotlight

### Memos

Note taking software with hack value.

## Project Spotlight

### Razer device configuration tool

A Razer device configuration tool.