Search Results for "2 plan"

In type-driven development, types are tools for constructing programs. We treat the type as the plan for a program, and use the compiler and type checker as our assistant, guiding us to a complete program that satisfies the type. The more expressive the type is that we give up front, the more confidence we can have that the resulting program will be correct. In Idris, types are first-class constructs in the language. This means types can be passed as arguments to functions, and returned from...

We started the project for school. Now the school project has finished and we plan to bring the project further. As said, it's based on gnome-shell. We took the source code of the gnome-shell and started to adapt it on touchscreen devices. Up to now we stayed fully compatible with the gnome-shell extension system. At the moment the software works just for the gnome-shell 3.2 shipped with Fedora 16 but we should adapt it for Ubuntu's gnome-shell version as well as for the newest releases...

GNUexp is a GNUstep/Cocoa framework and a collection of tools helping you to plan, develop, and administer applications associated with visual psychophysics, experimental psychology and statistical data analysis.

OOSys is a plan to create an object-oriented operating system based on classes and objects instead of files and programs, with a strong focus on both clean design and practical usefulness. As a start, we are developing a microkernel.

<b>myDBList</b> is the first set of functions from a full library that simplifies the access to databases from GUI controls on <b>PalmOS</b>. For now, it only supports the <b>ListType</b> but I plan to write functions for <b>TableType</b> and <b>FieldType