Search Results for "pentaho user console"

MediaWiki To LaTeX converts MediaWiki markup to LaTeX and generates a PDF. So it provides an export from MediaWiki to LaTeX. It works with any project running MediaWiki, especially Wikipedia and Wikibooks.

An unofficial haskell implementation of Lesspass - The Stateless Password Manager. This is a haskell-native port of the Python program Lesspass which generates passwords on-the-fly instead of saving them in a database. It does not rely on Python. It produces the same passwords as the official Python program.

Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms.

Collection of scripts for transfinite ordinals computations

This SourceForge project page is obsolete. Please visit http://www.musicpd.org/

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

PortFusion is a minimalistic, cross-platform, transport-layer distributed reverse / forward proxy for TCP written in Haskell + LLVM and released under GPLv3. A single package that makes the most of each platform by tapping into their unique capabilities, combining this power with an intuitive interface, beautiful design and Haskell's excellent support for unprecedented levels of concurrency and parallelism. It strives for the smallest source code size (< 500 lines) while delivering...

Programming language based off pure type systems, and COQ. Currently aimed at both systems, and application programming. Has a simple syntax, and (planned) C integration.

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.

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.

ip6addr is a command line tool written in Haskell for filtering IPv6 addresses parsed against RFC 4291

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/

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/

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.

Eve is intended to be a Haskell-derived language with more familiar (Python/Rubyish) syntax. Short term, think of it as a gateway drug to Haskell for Python/Ruby programmers. Long-term, it's intended to be a practical (DB/webapp/GUI-enabled) Haskell.

The default text editor for Fid.

A collection of general or specific tools created in the process of creating other, larger programs.

A portable library for manipulating data disks created with the Roland SP-808 Groove Sampler / E-Mix Studio. A command-based shell ("vs2") to provide a user interface on libvs2. Possibly a graphics interface ("gvs2") as well.