MacTech Network:   MacForge.net  |  Computer Memory  |  Register Domains  |  Printer Supplies  |  Cables  |  iPod Deals  |  Mac Deals

  MacTech Magazine

sponsored by MacTech Magazine

 
 

Browse By:
Database Environment
Development Status
Intended Audience
License
Operating System
Programming Language
Topic
Translations
User Interface

   Programming Language
      Haskell
Mac Projects  Mac/nix Projects
Extended View
Projects Per Page: 10 20 50
Sort By:

63 projects in result set. Projects sorted by: Ranking (Top Ranked First)
Select a page:   1


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

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

2. Archive of Formal Proofs - The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

3. Assorted projects - Assorted projects. General-purpose libraries for Python, C++, Scala, bash, and others. Meta-programming tools. System utilities. UI components. Web APIs. Configuration files. Benchmarks. Programming competition entries. And much more.

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

4. bozhiteli - Some card game... it's may be interested!

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

5. CocoaNote - CocoaNote is a simple, easy-to-use WYSIWYM music notation editor for OS X. Its goal is to be useful for composing and arranging music, while import/exporting to other file formats for compatibility and in order to produce pretty printouts.

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

8. DAU - Dokuwiki Administration Utilities - DAU is a set of easy to use utilites for Dokuwiki administration. They help to see and analyse the whole structure graph of a wiki, manage users and groups, find unneeded uploaded media. For more information please visit http://dau.sourceforge.net/

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

11. Fluxion - The Fluxion framework is a prototype data integration system using Semantic Web technologies.

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

12. Foo (Pi┼ékarzyki) - Foo (abbreviation from football) is a playing machine of Paper Soccer, a pencil and paper game for two players, described in WIKIPEDIA. Written in Haskell, contains also simply interface using HOpenGL library. Provides bunch of playing algorithms.

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

13. FUNNIE - Functional Networked Integrated Environment (FUNNIE) is a networked CSCW programming environment specifically tuned to the needs of students and instructors, based on a subset of Haskell.

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

14. Fusion - Fusion is a powerful high level programming language that merges several feature from Ruby, Python, Java, C++, Visual Basic, etc, in a only language. It's implemented by means of a compiler written in Haskell that generates Ruby code.

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

15. Grammatical Framework - The Grammatical Framework (GF) is a grammar formalism based on type theory. It consists of a special-purpose programming language, a compiler of the language, and a generic grammar processor.

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

16. Haskell in a Web Browser - To make Haskell programs run in a web browser via translation from Haskell to Javascript.

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

17. Haskell Internationalisation - Haskell Internationalisation Effort

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

19. Haskell Web Publisher - 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.

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

20. HaskellDB - HaskellDB is a Haskell library for expressing database queries and operations in a type safe and declarative way.

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

21. HBase - Common Haskell code for other semantic.org projects, and other useful things.

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

22. hcross - 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).

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

24. HOC: A Haskell to Objective C Binding - A Haskell to Objective-C binding. Allows access to Apple's Cocoa API from the non-strict functional programming language Haskell.

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

28. Human Speakable Programming Language - HSPL is Human Speakable Programming Language hspl can be used in human to human communication planned support for English, Chinese, Spanish, Hindi, Russian, Bengali, German, French. hspl can be used to write computer programs Hspl can be used as an inter

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

29. IMG2GMAPI - Converts files from Garmin(R)'s IMG file format to GMAPI file format.

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

30. JHaskell - Java/Haskell Interop - JHaskell provides a Haskell interpreter and compiler for the JVM. The goal is to make Haskell a viable language for development for the Java platform and also to allow existing Haskell programs to run on the JVM.

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

31. Kamiariduki - DRM (Degital Rights Management) for people - Derivative Works with Creative Commons License Works.

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

32. kaya - 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/

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

34. Language Prototyping System - Language Prototyping System

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

38. mescaline - Next generation music generation.

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

39. money talks - 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.

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

40. Much More Than Parsing - More Than Parsing is a parser generator for context free grammars defined in a BNF-like format. It generates scanners, parsers, ASTs, etc. This sf project is no longer active, development will continue in a different place.

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

42. Online School of Programming - Register on SourceForge and after that request to become a member of this group to use all features.

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

43. paradiff - Parallel Automatic Differentation

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

44. Parallax - Code Name Parallax :: Soon to be MO(RPG?) game.

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

45. Perpetua - Perpetua is an implementation of Haskell and the ML language. Features from scripting languages such as Python will be incorporated to make Perpetua a better general purpose tool. Perpetua is meant to be approachable and well designed.

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

48. Random Password Generator - 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.

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

49. Samudera - Samudera is an open source Latin-to-Arabic Malay text transliterator.

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

51. Scala Pacman - A pacman game implementation in scala programming language, a functional language with object-oriented concepts, using concurrency by actors.

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

53. smart-space - Seamntic Web implementation of Chu Space mappings using ontology developed from Peirce's "On a New list of Categories."

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

54. Suwako - This is the extended euclidean algorithm implemented in haskell. It will put every single step of the algorithm in a file and show the actual result and everything in between.

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

55. tautau - A programmable tank game with 3d-graphics. Kind of.

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

56. Text.Regex.Lazy - Alternative regular expression library for Haskell

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

57. The Glasgow Haskell Compiler - 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.

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

59. Virtual translated WWW - 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.

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

60. WESO - This project will develop a set of Semantic Web Libraries implemented in declarative languages like Haskell or Curry.

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

63. Zinc Project - Experimental compiler for an extended version of the Curry programming language

Click here to download.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

63 projects in result set. Projects sorted by: Ranking (Top Ranked First)
Select a page:   1

-->
Click on the cover to
see this month's issue!

TRIAL SUBSCRIPTION
Get a RISK-FREE subscription to the only technical Mac magazine!

Today's Deal


 


©1984-2009 MacTech Magazine. www.mactech.com
Toll Free 877-MACTECH, Outside US/Canada: 805-494-9797

MacTech and MacTutor are registered trademarks of MacTech Magazine. The MacTech logo, the MacForge logo, MacForge,
MacForge.net, Explain It, MacDev-1, THINK Reference, NetProfessional, JavaTech, WebTech, BeTech, LinuxTech, MacTech Central
and the MacTutorMan are trademarks or service marks of Xplain Corporation. Other trademarks and copyrights appearing in this
web site, printing or software remain the property of their respective holders.