OSI-Approved Open Source (124)
- GNU General Public License version 2.0 (57)
- BSD License (32)
- GNU General Public License version 3.0 (14)
- GNU Library or Lesser General Public License version 2.0 (14)
- MIT License (10)
- Academic Free License (5)
- Artistic License (2)
- Boost Software License (2)
- Eclipse Public License (2)
- GNU Library or Lesser General Public License version 3.0 (2)
- Affero GNU Public License (1)
- Common Public License 1.0 (1)
- Python Software Foundation License (1)
- zlib/libpng License (1)
- Other License (3)
- Public Domain (2)
- Linux (128)
- Mac (108)
- Grouping and Descriptive Categories (85)
- Android (72)
- Modern (28)
- BSD (21)
- Emulation and API Compatibility (7)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
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/1 weekly downloads
MDA support for Alloy1 weekly downloads
A collection of machine-checkend mathematical proofs113 weekly downloads
An interpreter for the Argh! esoteric programming language in wxHaskell. The program allows one to load, edit, save, validate and run Argh! programs. It currently supports all commands except 'e' and 'E'. Documented using Haddock.3 weekly downloads
A compiler which translated AspectFun program into Haskell.
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.1 weekly downloads
A library to automatically create GUI forms, using WxHaskell and "Scrap Your Boilerplate" generics.1 weekly downloads
This is a new operating system contains beos environment for L4: ka microkernel.
A general all-in-one utility for system creation, specification and problem diagnosis created for members of the BYO community.
Benjo shall introduce the first open-source market economy, run entirely on the net and allowing people from all around the world in collaborations that generate money.
Music synthesizer based on cellular automata. Written in Haskell.1 weekly downloads
A programming language designed for searching and manipulating tree-structured data, particularly corpora of natural languages encoded in an s-expression-like format.5 weekly downloads
A cross-platform unit testing framework for C++.
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/1 weekly downloads
The Dolphin Project is intended to be a research project aggregating tools related to Open Source Satisfiability Solver tools and tools related to them like Bounded Model Checkers and Software Verifiers.1 weekly downloads
Functional Arabic Morphology2 weekly downloads
Encode Arabic provides tools for encoding and decoding Arabic in Haskell, Python, Perl, or LaTeX. Interprets the ArabTeX notation to generate original orthography or phonetic transcription. Supports Buckwalter and other romanizations. Converts legacy byte encodings into Unicode. http://github.com/otakar-smrz/encode-arabic1 weekly downloads
Here we have fun developing software related to embedded extension languages and small languages in many application domains, using existing languages and/or creating new ones.
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.1 weekly downloads
The Fluxion framework is a prototype data integration system using Semantic Web technologies.
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.2 weekly downloads
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...68 weekly downloads