Search Results for "gnu/linux" - Page 10

Haskell Internationalisation Effort

The Haskell Web Publisher shall allow website implementation using the functional programming language Haskell. Thereby, accuracy of URIs, data validity, and compliance to security restrictions shall be assured by compiler checks.

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.

The project is an implementation of DSP and related algorithms in the programming language Haskell.

A fexpr (unevaluating expression) based Lisp dialect.

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.

LambdaRoguelike is yet another Rogue-like game, written in Haskell. The game uses NCurses for it's UI. Features are: Field of Vision, Random Dungeon Generation, Combat, Monsters (with different AI), userfriendly interface, A help system and more...

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.

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.

A collection of general or specific tools created in the process of creating other, larger programs.

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...

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...

A set of MediaWiki extensions and other tools developed for the Twelf wiki (http://twelf.plparty.org) that enable a wiki to naturally incorporate logic Twelf in a number of meaningful and useful ways.

A beginners' level theorem prover project for logic students. Okitsune is written in Haskell and open for contributions.

hMozart is an IRC Bot written in Haskell; similiar to LambdaBot. It has support for RSS Feeds, maintains a quote database and offers several other small features. The bot is still in development, so features will be added in the future.

A compiler which translated AspectFun program into Haskell.

The Inverse Ocean Model (IOM) is a software system for developing customized data-assimilation systems for numerical ocean models. It has also been used with general purpose hydrodynamic and geodynamic models.

The Glasgow Haskell Compiler is a robust, fully-featured, optimising compiler for the Haskell 98 programming language. Please note, we are no longer using the SourceForge bug tracker. Please go to http://cvs.haskell.org/trac/ghc instead.

A cross-platform unit testing framework for C++.

Random Password Generator written in Haskell. It provides easy command-line interface for generating passwords. Options include: number of passwords, random password length, allowed characters.

ZhDict provides command-line tools to aid English speakers in reading and understanding Chinese texts.