RSS 149 projects tagged "Windows"

Download Website Updated 07 Jul 2010 GNU CLISP

Screenshot
Pop 457.06
Vit 11.63

GNU CLISP is an ANSI Common Lisp implementation with an interpreter, compiler, debugger, object system (CLOS, MOP), sockets, fast bignums, arbitrary precision floats, and a foreign language interface that runs on most Unix variants and Win32.

Download Website Updated 21 Aug 2001 crank

Screenshot
Pop 127.42
Vit 2.89

Crank is a project to provide a GUI toolkit to facilitate (and where possible, automate) the breaking of classical (pen-and-paper) cryptosystems. Initial focus is on the cryptanalysis of monoalphabetic substitution ciphers.

Download Website Updated 08 Jan 2012 GLE (Graphics Layout Engine)

Screenshot
Pop 276.50
Vit 8.72

GLE (Graphics Layout Engine) is a graphics scripting language designed for creating publication quality figures (e.g., a chart, plot, graph, or diagram). GLE supports various chart types (including function plot, histogram, bar chart, scatter plot, contour plot, color map, and surface plot) through a simple but flexible set of graphing commands. More complex output can be created by relying on GLE's scripting language, which is full featured with subroutines, variables, and logic control. GLE relies on LaTeX for text output and supports mathematical formulae in graphs and figures.

Download Website Updated 17 Sep 2012 Groups, Algorithms, and Programming

Screenshot
Pop 70.21
Vit 5.97

Groups, Algorithms, and Programming (GAP) is a system for computational discrete algebra with particular emphasis on computational group theory and related areas. It provides a Pascal-like interpreted language, data types for many algebraic objects, a function library, and large libraries of data.

Download Website Updated 31 Oct 2001 ixlib

Screenshot
Pop 45.21
Vit 2.56

ixlib is a C++ tools library based upon the STL. It provides garbage collection, a small well-integratable JavaScript interpreter, linear algebra components (e.g., linear solver, LU decomposition), planar geometry, polygons, automatic arrays, rasterization for geometric primitives and polygons, regular expressions and XML parsing (non-DTD). Its main design goals were simplicity and small size.

Download Website Updated 04 Jul 2004 KSEG

Screenshot
Pop 62.69
Vit 3.42

KSEG is a program for exploring Euclidean geometry, similar to Geometer's Sketchpad. It features points, lines, transformations, measurements, calculations, simple editable recursive Constructions (similar to macros), adaptively sampled loci, and selection groups. Several languages are supported. KSEG is very fast, stable, and has an efficient and consistent UI. It uses Qt and does not require KDE.

Download Website Updated 23 Aug 2001 L Math Processor

Screenshot
Pop 31.27
Vit 4.12

The L math processor (lmp) implements many basic primitives for mathematical solution of equations and terms just like the FSF tool expr. But further, lmp handles floating point numbers and knows some more operations.

No download Website Updated 03 Dec 2002 LinAl

Screenshot
Pop 44.29
Vit 1.54

LinAl was designed to bring together C++ and FORTRAN. At the same time LinAl is supposed to be easy to use, fast, and reasonably safe. The LinAl library is based on STL techniques and uses STL containers for the storage of matrix data and STL algorithms where feasible. Low level, algebraic operators, linear solvers, and eigenvalue solvers are implemented, based on calls to BLAS, LAPACK, and CGSOLX.

Download Website Updated 28 Apr 2011 Proof General

Screenshot
Pop 66.45
Vit 3.93

Proof General is a generic Emacs interface for proof assistants, suitable for use by pacifists and Emacs militants alike. It is supplied ready-customized for LEGO, Coq, and Isabelle. You can adapt Proof General to other proof assistants if you know a little bit of Emacs Lisp.

Download Website Updated 05 Jan 2009 SLFFEA

Screenshot
Pop 60.50
Vit 4.71

SLFFEA stands for San Le's Free Finite Element Analysis. It is a package of scientific software and graphical user interfaces for use in finite element analysis.

Screenshot

Project Spotlight

Caché Monitor

A dev utility for the InterSystems database Caché.

Screenshot

Project Spotlight

TrueCL

A high availability clustering package for Linux and Unix.