A collection of machine-checkend mathematical 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.
This is a new operating system contains beos environment for L4: ka microkernel.
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.
A cross-platform unit testing framework for C++.
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-arabic
Functional Bank stands for DSL (domain specific language), its interpreter and framework of core banking system creation. User creates functional specification in DSL grammar. Banking system code will be generated automatically.
A Haskell to Objective-C binding. Allows access to Apple's Cocoa API from the non-strict functional programming language Haskell.
HSDL is a Haskell binding to the well known Simple Directmedia Layer (SDL) library including bindings to SDL_gfx, SDL_image and SDL_ttf.
A tool that auto-generates Haskell FFI declarations by parsing a C header file.
Haskell Internationalisation Effort
Haskell Toolkit for GUI. HSQL has moved to http://code.haskell.org/HSQL/
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.
This is a set of scripts for Project Management implemented in Haskell
HaskellDB is a Haskell library for expressing database queries and operations in a type safe and declarative way.
Converts files from Garmin(R)'s IMG file format to GMAPI file format.
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.
DRM (Degital Rights Management) for people - Derivative Works with Creative Commons License Works.
Lehel is an extensible dual panel file manager and scripting framework with multiple frontends.
Lsl Plus is an edit/compile/test environment for the Linden Scripting Language (LSL), implemented as an Eclipse plug-in.
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.
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.
Quantative Finance structures and algorithms in Haskell
The aim of QuantHas is to produce a port of the QuantLib C++ project for quantitative finance in the Haskell functional programming language. please visit our project home page for more details.
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.
Development and implementation of algorithms for solving the "SATB Harmonisation" problem and related musical composition problems.