RSS 27 projects tagged "Mathematics"

Download Website Updated 24 Mar 2001 SyNTeX - Syntactic tree drawing program

Screenshot
Pop 58.22
Vit 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.

Download Website Updated 19 Oct 2009 Date::Calc::XS

Screenshot
Pop 14.11
Vit 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).

No download Website Updated 23 Jun 2013 LibBi

Screenshot
Pop 18.33
Vit 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.

Download Website Updated 24 Jun 2010 Daikon

Screenshot
Pop 89.26
Vit 9.80

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 <") 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.

Download Website Updated 30 Sep 2009 Bit::Vector

Screenshot
Pop 182.15
Vit 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.

Download Website Updated 06 Mar 2011 number

Screenshot
Pop 73.72
Vit 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.

No download Website Updated 11 Mar 2012 Chombo

Screenshot
Pop 35.21
Vit 7.10

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.

Download Website Updated 02 Nov 2009 Date::Calc

Screenshot
Pop 81.58
Vit 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.

Download Website Updated 27 Jun 2004 Condorcet with Dual Dropping

Screenshot
Pop 57.46
Vit 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.

Download Website Updated 09 Apr 2011 trad4

Screenshot
Pop 65.93
Vit 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.

Screenshot

Project Spotlight

Memos

Note taking software with hack value.

Screenshot

Project Spotlight

Razer device configuration tool

A Razer device configuration tool.