This SourceForge project page is obsolete. Please visit http://www.musicpd.org/
realtime 3d surface rendering library
landshade is a C++ library for quick tesselation of complex 3D data like terrain and other curves surfaces at different levels of detail on modern graphics hardware.
Lsl Plus is an edit/compile/test environment for the Linden Scripting Language (LSL), implemented as an Eclipse plug-in.
A collection of machine-checkend mathematical proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
Distributed reverse / forward proxy and tunneling solution for TCP.
PortFusion is a minimalistic, cross-platform, transport-layer distributed reverse / forward proxy for TCP written in Haskell + LLVM and released under GPLv3. A single package that makes the most of each platform by tapping into their unique capabilities, combining this power with an intuitive interface, beautiful design and Haskell's excellent support for unprecedented levels of concurrency and parallelism. It strives for the smallest source code size (< 500 lines) while delivering maximum throughput with near zero overhead.
A Haskell to Objective-C binding. Allows access to Apple's Cocoa API from the non-strict functional programming language Haskell.
A bridge to the Java virtual machine via JNI for Haskell (and perhaps later other functional lanaguages).
iptables web interface
Web interface for linux firewall written in haskell. It covers a little subset of options and targets. It works as standalone https daemon, and allows to authenticate with system accounts using pam. Iptadmin can't ruin iptables configuration files by design. It doesn't let user to block network access to the interface.
open game world to be set in a realistic environment
Discover a huge fictional game world and supply resources for its exploration. Unleash mysterious secrets or just race through the hills. This software is under development and thus neither complete nor bug-free. However, fun can occasionally be had.
An educational project aimed at illustrating programming language concepts and implementation techniques in different programming languages.
A general all-in-one utility for system creation, specification and problem diagnosis created for members of the BYO community.
CocoaNote is a simple, easy-to-use WYSIWYM music notation editor for OS X. Its goal is to be useful for composing and arranging music, while import/exporting to other file formats for compatibility and in order to produce pretty printouts.
DebToo - Debian powered from source. Portage-like configurability brought into Debian with the goodies known to Gentoo users: USE flags, optimised packages, hand picked patches, fine grained tweaking performance, inherted configurations.
Prototype to examine techniques of generating web services at run-time (not compile time) from a static service description.
Here we have fun developing software related to embedded extension languages and small languages in many application domains, using existing languages and/or creating new ones.
The default text editor for Fid.
Functional Reactive VR is a library for developing dynamic, interactive Virtual Environments. The FRVR framework provides new and powerful tools for implementing the dynamics and interaction of Interactive Experiences.
Fusion is a powerful high level programming language that merges several feature from Ruby, Python, Java, C++, Visual Basic, etc, in a only language. It's implemented by means of a compiler written in Haskell that generates Ruby code.
New World an Auto Bot
Gica is a calculator dealing with arbitrary precision two's complement binary numbers.
The Grammatical Framework (GF) is a grammar formalism based on type theory. It consists of a special-purpose programming language, a compiler of the language, and a generic grammar processor.
HSDL is a Haskell binding to the well known Simple Directmedia Layer (SDL) library including bindings to SDL_gfx, SDL_image and SDL_ttf.
The project is an implementation of DSP and related algorithms in the programming language Haskell.
This is a graphical File Manager implemented in the functional language Haskell. It supports all common options: open, move, copy, rename, delete and supports drag and drop.
Haskell Toolkit for GUI. HSQL has moved to http://code.haskell.org/HSQL/