RSS 30 projects tagged "Mathematics"

Download Website Updated 21 Dec 2013 GNU TeXmacs

Screenshot
Pop 826.91
Vit 88.37

GNU TeXmacs is a free wysiwyw (what you see is what you want) editing platform with special features for scientists. The software aims to provide a unified and user friendly framework for editing structured documents with different types of content: text, mathematics, graphics, interactive content. TeXmacs can also be used as an interface to many external systems for computer algebra, numerical analysis, and statistics. New presentation styles can be written by the user and new features can be added to the editor using Scheme.

Download Website Updated 20 Apr 2014 Asymptote

Screenshot
Pop 744.13
Vit 386.22

Asymptote is a powerful descriptive 2D and 3D vector graphics language for technical drawing, inspired by MetaPost but with an improved C++-like syntax. It provides for figures the same high-quality level of typesetting that LaTeX does for scientific text. Asymptote is a programming language as opposed to just a graphics program. It can exploit the best features of script (command-driven) and graphical user interface (GUI) methods. High-level graphics commands are implemented in the language itself, allowing them to be easily tailored to specific applications.

No download Website Updated 27 Jul 2010 The Frink Language

Screenshot
Pop 378.29
Vit 18.96

Frink is a calculating tool and programming language designed to help you in the real world. It tracks units of measurement throughout all calculations and ensures that answers are correct. It converts between systems of measurement, and has a huge library of physical data. It is both a simple calculator for quick calculations and a full-fledged programming language for large tasks. It draws high-quality graphics, handles conversions between time zones, currencies, and historical values of the U.S. dollar and the British pound, translates between several languages, does date/time math, and more.

Download Website Updated 04 Sep 2012 ePiX

Screenshot
Pop 196.15
Vit 21.22

ePiX creates mathematically accurate, publication-quality figures, plots, and animations. The input syntax is easy to learn, and the output is expressly designed for use with LaTeX. Complete documentation and dozens of sample files are included.

Download Website Updated 10 Jan 2014 pyPEG

Screenshot
Pop 188.75
Vit 26.11

pyPEG is a quick and easy solution for creating a parser in Python programs. pyPEG uses a PEG language in Python data structures to parse, so it can be used dynamically to parse nearly every context free language. The output is a plain Python data structure called pyAST, or, as an alternative, XML.

Download Website Updated 24 May 2013 Hilbert II

Screenshot
Pop 129.98
Vit 17.85

The goal of Hilbert II, which is in the tradition of Hilbert's program, is the creation of a system that enables a working mathematician to put theorems and proofs (in the formal language of predicate calculus) into it. These proofs are automatically verified by a proof checker. Because this system is not centrally administered and enables references to any location on the Internet, a world wide mathematical knowledge base could be built. It also contains information in "common mathematical language".

Download Website Updated 24 Apr 2005 sMArTH

Screenshot
Pop 100.44
Vit 1.76

sMArTH is an equation editor built on open Web standards. The editor itself uses a SVG interface and the application logic is implemented in ECMAScript using the DOM. Both MathML and LaTeX are supported as exporting formats in addition to the SVG format. The most important mathematical content from both LaTeX and MathML is already provided, and this should cover the need of the majority of users. The graphical user interface allows even the most complex equations to be built with simple "Point and Click" techniques instead of writing convoluted typesetting code.

Download Website Updated 18 Nov 2004 num-utils

Screenshot
Pop 85.42
Vit 2.51

num-utils are a set of programs for dealing with numbers from the Unix command line. Much like the other command line utilities grep, awk, sort, cut, etc. these utilities work on numeric data from both standard in and data from files. The base utilities currently included are average, bound, interval, numgrep, numprocess, numsum, random, range, and round. If you work with pipelines on the command line, these tools will prove to be helpful.

Download No website Updated 04 Jun 2008 alph

Screenshot
Pop 84.43
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 30 Sep 2007 ASCIIMathML

Screenshot
Pop 79.18
Vit 2.76

ASCIIMathML is a script that converts calculator-style ASCII math notation (and many LaTeX formulas) to Presentation MathML while your Web page loads. It works with HTML and XHTML files in Mozilla/Firefox/Netscape 7+ browsers, as well as in Internet Explorer 6 with MathPlayer. For example, the solutions for the equation 'ax^2+bx+c=0' are expressed in the HTML file as '(-b +- sqrt(b^2 - 4ac))/(2a)', and display as nicely formatted MathML. The script can be easily used in wikiservers and blogs, as a rudimentary MathML editor (with instant preview), and to preview math formulas as they are typed into a Web page input area.

Screenshot

Project Spotlight

Ultra

A Web server with an in-built data store.

Screenshot

Project Spotlight

pynag

A Nagios plug-in and configuration library for Python.