Showing page 1 of 7.

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

  5,489 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.

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

  24 weekly downloads
• 
  PortFusion

  Distributed reverse / forward proxy and tunneling solution for TCP.

  52 weekly downloads
• 
  iptadmin

  iptables web interface

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

  20 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
• 
  ElixirFM

  Functional Arabic Morphology

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

  5 weekly downloads
• 
  Archive of Formal Proofs

  A collection of machine-checkend mathematical proofs

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

  3 weekly downloads
• 
  Human Speakable Programming Language

  foundation of the General Intelligence Operating System

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

  5 weekly downloads
• 
  Vinte e Um

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

  4 weekly downloads
• 
  midori programming language

  dependently typed functional programming language

  4 weekly downloads
• 
  TerraHS

  TerraHS is a software component that enables the development of geographical applications in a functional language, using the data handling capabilities and spatial operations of TerraLib.

  3 weekly downloads
• 
  Virtual Reality Programming Environment

  Virtual Reality Environment based on Internet to teach Logic and Functional Programming

  3 weekly downloads
• 
  Partito Pirata

  sourcecode of the Partito Pirata project

  1 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
• 
  HSDL - A Haskell binding for SDL

  HSDL is a Haskell binding to the well known Simple Directmedia Layer (SDL) library including bindings to SDL_gfx, SDL_image and SDL_ttf.

  2 weekly downloads
• 
  Haskell Toolkit

  Haskell Toolkit for GUI. HSQL has moved to http://code.haskell.org/HSQL/

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

  2 weekly downloads
• 
  LambdaBoard

  LambdaBoard is an turtle/blackboard graphics library in Haskell.

  2 weekly downloads
• 
  Mandelbrot3D

  The programme for generation of the Mandelbrot set (the set defined by mathematical equation z=z^2+c; z,c are complex numbers) employing 3D visualisation in addition to the popular 2D spectral-colour one.

  2 weekly downloads
• 
  SATB Harmoniser

  Development and implementation of algorithms for solving the "SATB Harmonisation" problem and related musical composition problems.

  2 weekly downloads

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