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
Simple 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   2   3   4   Next


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.  
  • Topic: Software Development, Other/Nonlisted Topic, Mathematics
  • User Interface: Console/Terminal, X Window System (X11)
  • Translations: English
  • Programming Language: Haskell
  • Operating System: OS Portable (Source code to work with many OS platforms)
  • License: MIT License
  • Intended Audience: Science/Research, Education, Developers
  • Development Status: 4 - Beta

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.  
  • Topic: Mathematics, Library, Software Development
  • User Interface: X Window System (X11)
  • Translations: English
  • Programming Language: Standard ML, Haskell, OCaml (Objective Caml)
  • Operating System: Solaris, Linux, OS X, All POSIX (Linux/BSD/UNIX-like OSes), Cygwin (MS Windows)
  • License: BSD License, GNU Library or Lesser General Public License (LGPL)
  • Intended Audience: Science/Research
  • Development Status: 5 - Production/Stable

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.  
  • Topic: Libraries, Benchmark, Code Generators
  • Translations: English
  • Programming Language: C++, Haskell, Unix Shell, Python, Scala, C
  • Operating System: OS Portable (Source code to work with many OS platforms), All POSIX (Linux/BSD/UNIX-like OSes), OS Independent (Written in an interpreted language)
  • License: Python Software Foundation License, GNU Library or "Lesser" General Public License version 3.0 (LGPLv3), GNU General Public License version 3.0 (GPLv3), Boost Software License (BSL1.0), Affero GNU Public License , Public Domain
  • Intended Audience: Advanced End Users, Developers, End Users/Desktop, Information Technology, Engineering, Science/Research
  • Development Status: 4 - Beta, 3 - Alpha, 5 - Production/Stable

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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


  • Topic: Board Games
  • User Interface: Web-based
  • Translations: Russian
  • Programming Language: Haskell, JavaScript
  • Operating System: OS Independent (Written in an interpreted language)
  • License: GNU Library or Lesser General Public License (LGPL)
  • Intended Audience: End Users/Desktop
  • Development Status: 1 - Planning
  • Database Environment: MySQL

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.


  • Topic: Editors
  • User Interface: Cocoa (MacOS X)
  • Translations: English
  • Programming Language: Objective C, Haskell
  • Operating System: OS X
  • License: BSD License
  • Intended Audience: End Users/Desktop
  • Development Status: 1 - Planning, 2 - Pre-Alpha

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.  
  • Topic: Interpreters, Information Analysis
  • User Interface: Command-line
  • Programming Language: Haskell
  • Operating System: OS Portable (Source code to work with many OS platforms)
  • License: GNU General Public License (GPL)
  • Intended Audience: Science/Research, Advanced End Users
  • Development Status: 4 - Beta

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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


  • Topic: Testing
  • User Interface: Command-line
  • Programming Language: Haskell, C++
  • Operating System: OS Portable (Source code to work with many OS platforms)
  • License: BSD License
  • Intended Audience: Developers, Quality Engineers
  • Development Status: 1 - Planning

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/


  • Topic: Collaborative development tools, Knowledge Management
  • Programming Language: Haskell
  • Operating System: OS Portable (Source code to work with many OS platforms)
  • License: GNU General Public License (GPL)
  • Intended Audience: System Administrators, Developers, Advanced End Users
  • Development Status: 4 - Beta

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.  
  • Topic: Information Analysis, Human Machine Interfaces, I18N (Internationalization), Text Processing
  • User Interface: Web-based, Console/Terminal, Command-line, Tk
  • Translations: English
  • Programming Language: Perl, Haskell
  • Operating System: OS Portable (Source code to work with many OS platforms), OS Independent (Written in an interpreted language)
  • License: GNU General Public License (GPL)
  • Intended Audience: Information Technology, Science/Research, Education, Developers, Advanced End Users
  • Development Status: 4 - Beta

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.  
  • Topic: I18N (Internationalization), Interpreters, Artificial Intelligence, XML, TeX/LaTeX
  • User Interface: Console/Terminal, Web-based, Command-line
  • Translations: English
  • Programming Language: Perl, Haskell
  • Operating System: OS Independent (Written in an interpreted language), OS Portable (Source code to work with many OS platforms)
  • License: Artistic License, GNU General Public License (GPL), BSD License
  • Intended Audience: End Users/Desktop, Information Technology, Developers, Science/Research
  • Development Status: 4 - Beta

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.


  • Topic: Frameworks
  • User Interface: Web-based
  • Programming Language: Haskell, JavaScript, Java
  • Operating System: OS Independent (Written in an interpreted language)
  • License: GNU Library or Lesser General Public License (LGPL)
  • Intended Audience: Science/Research
  • Development Status: 2 - Pre-Alpha
  • Database Environment: Other API

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.  
  • Topic: Turn Based Strategy, Artificial Intelligence
  • User Interface: GLUT
  • Programming Language: Haskell
  • Operating System: OS Portable (Source code to work with many OS platforms)
  • License: GNU General Public License (GPL)
  • Intended Audience: End Users/Desktop
  • Development Status: 5 - Production/Stable

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.  
  • Topic: Interpreters, Education
  • User Interface: Java Swing
  • Translations: English
  • Programming Language: Java, Haskell
  • Operating System: OS Independent (Written in an interpreted language)
  • License: GNU General Public License (GPL)
  • Intended Audience: Education
  • Development Status: 4 - Beta

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.


  • Topic: Agile development tools, Compilers
  • User Interface: Console/Terminal
  • Translations: English
  • Programming Language: Haskell, Ruby
  • Operating System: Linux, OS X, WinXP
  • License: GNU General Public License (GPL)
  • Intended Audience: Developers, Science/Research, Information Technology
  • Development Status: 2 - Pre-Alpha

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.  
  • User Interface: Console/Terminal, Java Swing
  • Programming Language: Haskell, Java
  • Operating System: Cygwin (MS Windows), Linux, OS X, Solaris
  • License: GNU General Public License (GPL)
  • Intended Audience: Developers, Science/Research

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.


  • Topic: Dynamic Content
  • User Interface: Web-based
  • Programming Language: JavaScript, Haskell
  • Operating System: OS Independent (Written in an interpreted language)
  • License: BSD License
  • Intended Audience: Developers
  • Development Status: 1 - Planning

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

17. Haskell Internationalisation - Haskell Internationalisation Effort


  • Topic: Software Development, Text Processing
  • Programming Language: Haskell
  • Operating System: OS Independent (Written in an interpreted language)
  • License: BSD License
  • Intended Audience: Developers
  • Development Status: 1 - Planning

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.  
  • Topic: Build Tools, Compilers, Debuggers, Interpreters, Integrated Development Environments (IDE)
  • User Interface: Win32 (MS Windows), X Window System (X11), Carbon (Mac OS X), Java SWT
  • Translations: English
  • Programming Language: Java, Haskell
  • Operating System: OS Independent (Written in an interpreted language)
  • License: Common Public License 1.0, Eclipse Public License
  • Intended Audience: Developers, Education, Information Technology
  • Development Status: 4 - Beta

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.


  • Topic: Link Checking, CGI Tools/Libraries
  • User Interface: Web-based
  • Translations: English, German
  • Programming Language: Haskell
  • Operating System: OS Portable (Source code to work with many OS platforms)
  • License: BSD License
  • Intended Audience: Information Technology, System Administrators
  • Development Status: 1 - Planning

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.  
  • Topic: Front-Ends
  • User Interface: Non-interactive (Daemon)
  • Translations: English
  • Programming Language: Haskell
  • Operating System: Linux, Solaris, All BSD Platforms (FreeBSD/NetBSD/OpenBSD/Apple Mac OS X), 32-bit MS Windows (NT/2000/XP), All 32-bit MS Windows (95/98/NT/2000/XP), All POSIX (Linux/BSD/UNIX-like OSes), WinXP, Win2K
  • License: BSD License
  • Intended Audience: Developers
  • Development Status: 3 - Alpha

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   2   3   4   Next

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