Search Results for "planning"

for now used as testing platform to get acquainted with git. eventually will contain source files and examples on the usage and customization of the code crafting tools being developed at alphabit.org domain... 1 . web server (nodejs), to share bits our way... the highway was too dangerous and inadequate. 2. window manager (xmonad), to enjoy work... as we are at it. 3. yet another new programming language (javascript), it does not yet exists and we would like to try it. more...

A set of (hopefully generic) tools that I intend to use in my m372 project.

An educational project aimed at illustrating programming language concepts and implementation techniques in different programming languages.

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

This project is related to the Partito Pirata source code issueHere we host the development and sharing of the source code of the production into the Partito Pirata project. Every single bit in terms of information and source code will be available here for free

Music synthesizer based on cellular automata. Written in Haskell.

LambdaBoard is an turtle/blackboard graphics library in Haskell.

A front end for haskell with support to multiparameter type classes.

The SpindleCAD is a machine-tool spindle design software. It helps engineers check properties of finished construction and optimize construction with respect to precision and productivity.

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.

DRM (Degital Rights Management) for people - Derivative Works with Creative Commons License Works.

Some card game... it's may be interested!

DebToo - Debian powered from source. Portage-like configurability brought into Debian with the goodies known to Gentoo users: USE flags, optimised packages, hand picked patches, fine grained tweaking performance, inherted configurations.

HSDL is a Haskell binding to the well known Simple Directmedia Layer (SDL) library including bindings to SDL_gfx, SDL_image and SDL_ttf.

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.

Haskell Internationalisation Effort

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.

haIDE is a GUI-based Haskell IDE written in Haskell using gtk. It does not include an editor but instead interfaces with NEdit, vim or GNU emacs.

A cross-platform unit testing framework for C++.

A beginners' level theorem prover project for logic students. Okitsune is written in Haskell and open for contributions.

A Linux distribution based on ArchLinux. The first generation is for Vietnamese and by Vietnamese