A bridge to the Java virtual machine via JNI for Haskell (and perhaps later other functional lanaguages).
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.
Seaweed is a library for the functional programming language Haskell. The current focus of this library is on XML, and the internet. The Haskell Web Publisher (http://hwp.sourceforge.net/) is based on Seaweed.
Xcerpt is a Query and Transformation Language for XML and Semistructured data. Instead of the navigational approach of XPath-based languages like XSLT or XQuery, Xcerpt uses patterns for querying and is based on concepts of logic programming like unifica
Language Prototyping System
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/
Trace the execution of a program to show a tree of all the functions that got called.
A programmable tank game with 3d-graphics. Kind of.
Universal text format converter
Pandoc is a Haskell library for converting from one markup format to another, and a command-line tool that uses this library. For latest releases, see https://github.com/jgm/pandoc/releases.
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.
MDA support for Alloy
This project intends to develop tools to enable MDA support for the formal modeling language Alloy.
A command line tool for articles management.
A command line tool that allows a semi-automated scientific articles management. It assumes an existence of a directory of a specific format in the file system. The tool interprets the data stored in the directory (called a repository), extend it via the usage of some automatic tools such as pdftotext, and search the text as well as some metadata.
Game emulator written in Haskell.
hAthena Description This is a project to test how well Haskell fits a production based server. This is by no means an alternative to rAthena and will not aim to be. Key features by using functional programming: - Concurrency and Parallelism The server will spawn a light thread per client connected and script executed. - STM Memory is easy to share over all the threads, easy to keep apart and when needed to switch between the both. - Strict typesystem You can't send the wrong information to a function, and you can not possibly use it in a way not intended - No side-effects A function can't do anything else then what you want it to do. You provide a value, it returns a value. No fishy business. Read the Readme.txt for more information on how to compile.
A Linux distro for Vietnamese
TheSLinux is a Linux distribution that primarily focuses on the Vietnamese users. This distro aims to be fully qualified open source distribution in Vietnam. The first generation is based on ArchLinux.
Lehel is an extensible dual panel file manager and scripting framework with multiple frontends.
Finds all words of length n formed of letters of a given string
Dummy program that takes a string of characters (e.g. str == "asdeqwdrfesatgha") and natural number n (1 <= n <= length str) and finds all words made from characters from str with length n (checks in a dictionary if the current string with length n is a word). Made it to help a friend cheat in a Android app called "Scrabble" or whatever. Written in Haskell.
An educational project aimed at illustrating programming language concepts and implementation techniques in different programming languages.
A simple program for comparing data sets with simple algorithms.
Replace the data in the data.db file with your own data using an sqlite3 manager. Tables are read as data set names, and the values are read as the data points of the data sets. Load the application, choose an algorithm, and the program will find the pairs that best match each other.
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.
Power tools for creating Stunts track maps.
Power tools for track map rendering and analysis for the classic racing game Stunts. Powered by the Haskell libraries Diagrams(vectorial rendering backend) and Threepenny (browser-hosted frontends). Currently there is a functional, if unpolished, configurable track viewer, as well as experimental code for some other features. Note that this repository is an up-to-date clone of the official one at https://bitbucket.org/duplode/stunts-cartography
powerPlant is a plant modelling tool based on parametric plant descriptions, producing highly detailed models that can be exported to 3ds. Deriving similar plants is a matter of 1 click! Complete scenes can be composited with the integrated scene editor.
This library for the Haskell programming language provides Video4Linux2 (V4L2) frame grabber operation functions. Requires GHC (Glasgow Haskell Compiler) and Linux kernel 2.6 header files.