A platform which hosts battles between Fruit War robots - special java programs. The platform accepts source code as robot, and ranks all robots according to battle result. This project has been totally refined and is now hosted at http://robotypo.appspot.com
Bidirectional computer, bicomp, is a virtual machine designed to aid in the research of complexity. bicomp runs its programs in forward or reverse. The program either produces a result from two inputs, or a list of possible inputs given a result.
BuddyScout is an interface between BuDDy (Binary Decision Diagram library) and GHC (Glasgow Haskell Compiler). It enables you to use the BDD library from within Haskell programs.
Agda is a system for incrementally developing proofs and programs. This is the sourceforge project for the PREVIOUS Agda (Agda 1). A newer version of Agda (Agda 2) in beta testing is available from: http://wiki.portal.chalmers.se/agda/
A math library for GMP. This library use the cmath as model and overloaded the principal math functions (sin, cos, tan, log... ). So, this make easy the development of generic programs.
Octave GTK+ is a Octave binding for GTK+, to help develop GUI programs
from Octave, with GTK+. It aims to aid fast creation of scientific programs
that need GUI's as well as number crunching power. We will also simulatneously
work on a GUI for Octave
A module for Python which provides interface to the PARI/GP computing library. We propose to write programs for PARI using Python scripting language. Python makes code much more clean, readable and manageable than the old-style PARI scripts.
These simple programs are for doing data reduction and then display of columns of tab delimited data. They are designed to be piped together so you can do multiple things at once. This means they typically read from stdin and output to stdout.
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Cracks of Reality is a high-quality fractal image renderer for Mac OS X. It is written in ObjC/Cocoa with the core engine in C to allow for a portable command-line version. Goals are speed, quality, and the ability to import other programs' descriptions.
Lightweight backpropagation neural network in C. Intended for programs that need a simple neural network and do not want needlessly complex neural network libraries. Includes example application that trains a network to recognize handwritten digits.
The TeX Math Font Generator is a set of programs that can produce a set of TeX math fonts that resemble a given text font. If you want to typeset mathematics with TeX in a special font that you own, then MathGen is what you want.
Z88 a free finite elements program featuring 20 different element types for LINUX and Windows. Includes two solvers, a mesher, plot programs and a GUI with online help.
Modernizing the sentential and predicate logic programs, Bertie and Twootie, by cleaning up the code, rewritting the code to conform to the standard Pascal defination, and developing a graphical user interface for both X and MS Windows.
Ganita, in sanskrit, means mathematics - and that is what this java package is about. I wrote the classes in this package to help me with the various mathematical programs that I write. This collection of mathematical classes would help you in creating ma
Freude is a new general purpose, very type safe, postfix / concatenative language in the style of \"Manfred von Thun\'s\" Joy.
Freude programs are composed of axiomatic mathematical structures and verifiably correct concrete implementations thereof.
MatrixOps is a console program written in Java that makes matrix operations. The goal of this project is to work as a Java tutorial, using some functions/programs typically made at school, with full documentation of the API.