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.
MDA support for Alloy
This project intends to develop tools to enable MDA support for the formal modeling language Alloy.
A compiler which translated AspectFun program into Haskell.
BuddyScout is an interface between BuDDy (Binary Decision Diagram library) and GHC (Glasgow Haskell Compiler). It enables you to use the BDD library from within Haskell programs.
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.
The default text editor for Fid.
Functional Reactive VR is a library for developing dynamic, interactive Virtual Environments. The FRVR framework provides new and powerful tools for implementing the dynamics and interaction of Interactive Experiences.
Common Haskell code for other semantic.org projects, and other useful things.
Haskell Toolkit for GUI. HSQL has moved to http://code.haskell.org/HSQL/
HaskellDB is a Haskell library for expressing database queries and operations in a type safe and declarative way.
A client for MPD designed for an infrared control and VDU
foundation of the General Intelligence Operating System
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
Converts files from Garmin(R)'s IMG file format to GMAPI file format.
Language Prototyping System
Quantative Finance structures and algorithms in Haskell
A fexpr (unevaluating expression) based Lisp dialect.
Seaweed is a library for the functional programming language Haskell. The current focus of this library is on XML, and the internet. The Haskell Web Publisher (http://hwp.sourceforge.net/) is based on Seaweed.
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.
A Linux distribution based on ArchLinux. The first generation is for Vietnamese and by Vietnamese
WWW-wide translation of HTML pages. This should be run as CGI script or Server module. HTML pages are fetched, translated, links are updated in order to continue translation when the user follows a hyperlink.
ZhDict provides command-line tools to aid English speakers in reading and understanding Chinese texts.
A set of command-line utilities for annotating and manipulating DNA sequences in FASTA format. Generate restriction fragments, ORF's, translations, reverse complement, etc. . - and tie it all together with Unix pipes for complete virtual cloning.
Game emulator written in Haskell.
hAthena Description This is a project to test how well Haskell fits a production based server. This is by no means an alternative to rAthena and will not aim to be. Key features by using functional programming: - Concurrency and Parallelism The server will spawn a light thread per client connected and script executed. - STM Memory is easy to share over all the threads, easy to keep apart and when needed to switch between the both. - Strict typesystem You can't send the wrong information to a function, and you can not possibly use it in a way not intended - No side-effects A function can't do anything else then what you want it to do. You provide a value, it returns a value. No fishy business. Read the Readme.txt for more information on how to compile.
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/
realtime 3d surface rendering library
landshade is a C++ library for quick tesselation of complex 3D data like terrain and other curves surfaces at different levels of detail on modern graphics hardware.