- Linux (13)
- Grouping and Descriptive Categories (9)
- Windows (9)
- Mac (8)
- Modern (7)
- BSD (6)
- Android (3)
- Solaris (3)
- Emulation and API Compatibility (2)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
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/2 weekly downloads
A collection of machine-checkend mathematical proofs27 weekly downloads
Haskell Image Processing: A sotfware/library of signal and image processing under haskell.
Haskell Toolkit for GUI. HSQL has moved to http://code.haskell.org/HSQL/1 weekly downloads
We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.3,459 weekly downloads
This is an implementation of the famous mastermind game written in the purely functional language Haskell. This is a console version, which have the ability for features to be added on top, such s a GUI, extra features and more...
This SourceForge project page is obsolete. Please visit http://www.musicpd.org/41 weekly downloads
A portable library for manipulating data disks created with the Roland SP-808 Groove Sampler / E-Mix Studio. A command-based shell ("vs2") to provide a user interface on libvs2. Possibly a graphics interface ("gvs2") as well.
It is a Stunts 4D Driving remake with high quality graphics and physics simualtion.1 weekly downloads
A Linux distribution based on ArchLinux. The first generation is for Vietnamese and by Vietnamese
haIDE is a GUI-based Haskell IDE written in Haskell using gtk. It does not include an editor but instead interfaces with NEdit, vim or GNU emacs.
Next generation music generation.
xmonad is a tiling window manager for X11. Windows are arranged automatically to tile the screen without gaps or overlap, maximising screen use. Window manager features are accessible from the keyboard: a mouse is optional. The official site is http://xm