|
|
|
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
|
|
|
|
|
|
Mac Deals
