RSS 15 projects tagged "Mathematics"

Download No website Updated 30 Jan 2001 random-tester

Screenshot
Pop 17.38
Vit 1.00

random-tester is a set of random number generation and random number testing routines inplemented in C. It includes detailed documentation on the generators/testers and performance (speed and randomness) comparisons.

Download Website Updated 14 Apr 2003 PMathGen

Screenshot
Pop 31.94
Vit 1.74

PMathGen is a random simple math problem generator. From the operators, format, etc. specified on the command line or in a worksheet description file, it generates LaTeX and optionally PostScript files that can be used as math worksheets.

No download Website Updated 16 Apr 2004 Asymptopia Flashcard System

Screenshot
Pop 49.09
Vit 3.26

Asymptopia Flashcard System uses Motif and LaTeX to produce, manage, and use attractively formatted flashcards. You load some or all of your "collections" and set the timer for pop-up frequency. The GUI interface and "Collection Manager" make creating and modifying flashcards as simple as pushing a single button. A knowledge of LaTeX is only required when entering special symbols.

Download Website Updated 09 Jul 2004 JCCad

Screenshot
Pop 43.01
Vit 1.00

JCCad is a project to develop a 2D/3D CAD program that can be used to create technical drawings. One of the main goals of this project is to include a plugin system to allow usuaries to make new commands. In this way it will be easy to use the program for any particular task. JCCad provides an easy interface with a command line.

Download No website Updated 04 Jun 2008 alph

Screenshot
Pop 85.08
Vit 6.14

alph implements and analyzes historical and traditional ciphers and codes, such as polyalphabetic, substitutional, and mixed employing human-reconstructable algorithms. It provides a pipe filter interface in order to encrypt and decrypt block text to achieve transparency. The program is meant to be used in conjunction with external programs that transfer data, resulting in transparent encryption or decryption of information. The program can thus be used as a mail filter, IRC filter, IM filter, and so on.

Download Website Updated 23 Nov 2004 MCP2510 Bit Timing Calculator

Screenshot
Pop 10.44
Vit 1.00

MCP2510 Bit Timing Calculator is a bit timing calculator for the popular MCP2510 microchip. It has a graphical diagram view of your chosen options. You can save or print a report at the end.

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 73.97
Vit 4.96

ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.

No download Website Updated 06 May 2005 Math Volcano

Screenshot
Pop 12.45
Vit 1.42

Math Volcano is a Javascript Web application for memorizing multiplication tables through "12 x 12." Individual and cumulative clock time information is shown in a table. Each "level" can be repeated until the clock times are satisfactory. Cookies are used to store the clock time information for five days after the session. Student interest is increased by allowing them to repeat individual levels to improve their clock times. After completing all levels, the sleeping volcano awakens!

No download Website Updated 10 Jun 2005 Multipurpose Versatile Test Harness

Screenshot
Pop 22.98
Vit 1.00

Multipurpose Versatile Test Harness (MVTH) is a rapid prototyping and testing platform designed for computer vision algorithms. It benefits from the speed and low-level control of the C language while allowing for iterative tweaking and visualization during a running session (similar to Matlab). The end result is a core infrastructure that supports plugins and allows the rapid testing of ideas and comparisons of incremental improvements with results generated during previous plugin reloads. Plugins with machine/computer vision algorithms, image processing routines, and code for using particle filters (a statistical sampling approach) are included.

Download Website Updated 24 Jun 2010 Daikon

Screenshot
Pop 90.47
Vit 9.81

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.

Screenshot

Project Spotlight

Ada Server Faces

An Ada Web framework that follows Java Server Faces.

Screenshot

Project Spotlight

libntru

A C implementation of NTRUEncrypt.