Open Source Haskell Software Development Software for Linux

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.

Language Prototyping System

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/

This project intends to develop tools to enable MDA support for the formal modeling language Alloy.

A compiler which translated AspectFun program into Haskell.

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.

Common Haskell code for other semantic.org projects, and other useful things.

HSPL is Human Speakable Programming Language, allowing for communication between human-to-computer and human-to-human in the same language. This project has moved to http://sourceforge.net/p/spel We are currently working on human-to-computer programming-language with mostly English base vocabulary. Though once we have that, we plan to add support for other world Languages, including Chinese, Spanish, Russian, Arabic, Hindi, among others. Eventually HSPL shall be the foundation of GIOS the General Intelligence Operating System. Which is an open source operating system, that can be used for intelligent robots, computers and technological host-bodies. Regularly post on blog about HSPL at http://weyounet.info/?s=hspl

A fexpr (unevaluating expression) based Lisp dialect.

A Unix desktop environment, using multi-processing as the principle method of program partitioning and built around the everything-is-a-file assumption, with scripting using the programming language Haskell.