WWW-wide translation of HTML pages. This should be run as CGI script or Server module. HTML pages are fetched, translated, links are updated in order to continue translation when the user follows a hyperlink.
This project will develop a set of Semantic Web Libraries implemented in declarative languages like Haskell or Curry.
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
Experimental compiler for an extended version of the Curry programming language
Some card game... it's may be interested!
A set of command-line utilities for annotating and manipulating DNA sequences in FASTA format. Generate restriction fragments, ORF's, translations, reverse complement, etc. . - and tie it all together with Unix pipes for complete virtual cloning.
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.
An integrated development environment for the programming language haskell.
A program for interactively solving crosswords, compatible with the Across Lite (tm) .puz format. Eventually, we hope to add support for constructing crosswords, and other grid-based word puzzles (like acrostics).
hscratch is a simple command-line tool to produce scratch sounds from a given phonogramme offline coded in Haskell. Currently, it lacks all that command-line sugar like '-v' and '-h'. Working prototype, still to be developed and improved.
Kaya: A statically typed, imperative cross-platform programming language with type inference, powerful data description capabilities and built-in abstractions and libraries for easy and robust web application development. http://kayalang.org/
A beginners' level theorem prover project for logic students. Okitsune is written in Haskell and open for contributions.
Next generation music generation.
dependently typed functional programming language
Programming language based off pure type systems, and COQ. Currently aimed at both systems, and application programming. Has a simple syntax, and (planned) C integration.
moneytalks is an financial tool which keeps track of your personal expenses, and helps you keep track of your monthly bills or any recurring payments. Also generate different statistics to analyze your spendings monthly, yearly or custom period.
PocketGames aims to provide an extended library for several games, so that they can be used with PocketPC, Linux, Windows Mobile, Web Based systems, Windows, etc.
simgi is a simulation engine for stochastic simulations of reactive systems using Gillespie's method written in Haskell.
Seamntic Web implementation of Chu Space mappings using ontology developed from Peirce's "On a New list of Categories."
wiki engine for small teams
wikit is another wiki engine suited for small teams. It’s written in Haskell with using Yesod Web Framework. It’s cross platform and was designed to be running as a desktop service application servicing wiki articles and providing some basic capabilities in terms of searching and storing data. It’s perhaps most distinct feature is that it relies on backing Git distributed source control system. And keeps it’s articles in markdown format. Which makes it very easy to port out of the wiki and keep somewhere else if one would wish so, and vice versa, it allows to through bunch of existing documents in markdown format to be introduced into wiki and make available to your team.
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.