Showing page 1 of 7.

• 
  Haskell support for Eclipse

  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,659 weekly downloads
• 
  Music Player Daemon

  Music Player Daemon (MPD) allows remote access for playing various sound files and managing playlists. The design focus is on integrating a computer into a stereo system that provides control for music playback over a local network.

  708 weekly downloads
• 
  FreeArc

  FreeArc combines best 7-zip and RAR features: auto-selected LZMA/PPMD/Multimedia compression, 1gb dictionary, exe/dict/delta data filters, updatable solid archives, SFXes, recovery record, AES+Twofish+Serpent encryption, Linux support and much more...

  63 weekly downloads
• 
  PortFusion

  Distributed reverse / forward proxy and tunneling solution for TCP.

  95 weekly downloads
• 
  MediaWiki to LaTeX

  Wb2pdf converts MediaWiki markup to LaTeX and PDF. So it provides and export from MediaWiki to LaTeX. It works with any project running MediaWiki, especially Wikipedia and Wikibooks.

  65 weekly downloads
• 
  Gtk2Hs - A GUI Library for Haskell

  A wrapper around Gtk+ 2.x for the functional language Haskell featuring full memory management, Unicode awareness and of course the new features of Gtk2.

  17 weekly downloads
• 
  Lsl Plus

  Lsl Plus is an edit/compile/test environment for the Linden Scripting Language (LSL), implemented as an Eclipse plug-in.

  5 weekly downloads
• 
  Encode Arabic

  Implementations for encodings of Arabic, in Haskell and Perl. Support for ArabTeX, Buckwalter, UTF and other encodings. Interpretable notations generating original orthography and/or phonetic transcriptions.

  7 weekly downloads
• 
  Ampersand

  If you want correct, concrete, and consistent functional specs fast, try the Ampersand approach. Let a computer generate a specification of your primary business process(es). Designed to improve procurement in large IT projects.

  9 weekly downloads
• 
  ElixirFM

  ElixirFM is a high-level implementation of Functional Arabic Morphology documented at http://sourceforge.net/apps/trac/elixir-fm/. The core of ElixirFM is written in Haskell, while interfaces in Perl support lexicon editing and other interactions.

  7 weekly downloads
• 
  The core libraries for Fid

  A Unix desktop environment, using multi-processing as the principle method of program partitioning and built around the everything-is-a-file assumption, with scripting using the programming language Haskell.

  5 weekly downloads
• 
  pocketgames

  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.

  5 weekly downloads
• 
  Haskell DSP Libraries

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

  4 weekly downloads
• 
  Hpylos

  Hpylos is an AI of Pylos, a board strategy game for two players. Written in Haskell, uses OpenGL and provides with couple algorithms. User interface allows playing a game against computer, observing two algorithms playing or two humans play.

  4 weekly downloads
• 
  Xcerpt

  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

  4 weekly downloads
• 
  Haskell Calculator

  A small command-line calculator, written in Haskell, that takes input like "14+(12+24)/(8.5-2.5)" and prints out the result. It's nothing special really, just a little project I did to learn Haskell.

  2 weekly downloads
• 
  Human Speakable Programming Language

  foundation of the General Intelligence Operating System

  3 weekly downloads
• 
  Java VM Bridge for Functional Languages

  A bridge to the Java virtual machine via JNI for Haskell (and perhaps later other functional lanaguages).

  3 weekly downloads
• 
  The BugPan Interface

  A structured spreadsheet web interface for Neurophysiology data analysis. A new generation web interface for the analysis of scientific data with Neurophysiology as test subject built on JavaScript, R , PERL-CGI and AJAX.

  3 weekly downloads
• 
  Vinte e Um

  Vinte e Um um jogo de cartas onde o jogador deve chegar a uma pontuao menor ou igual a 21 no valor das cartas para ganhar. O usurio joga contra o computador e entra na disputa num ranking contra outros jogadores do mesmo PC.

  3 weekly downloads
• 
  Partito Pirata

  sourcecode of the Partito Pirata project

  1 weekly downloads
• 
  Agda 1

  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
• 
  AlloyMDA

  MDA support for Alloy

  2 weekly downloads
• 
  BuddyScout

  BuddyScout is an interface between BuDDy (Binary Decision Diagram library) and GHC (Glasgow Haskell Compiler). It enables you to use the BDD library from within Haskell programs.

  2 weekly downloads
• 
  Crouton

  A programming language designed for searching and manipulating tree-structured data, particularly corpora of natural languages encoded in an s-expression-like format.

  2 weekly downloads

• Back
• 1
• 2
• 3
• 4
• 5
• 6
• 7
• Next