Search Results for "share"

The programming language ATS unifies implementation with formal specification by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof.

SMF service wrapper for Sun/Oracle VirtualBox under Sun/Oracle Solaris 10+ and OpenSolaris builds (including OpenIndiana and illumos). Detailed project description is available in the README file: http://vboxsvc.svn.sourceforge.net/viewvc/vboxsvc/usr/share/doc/vboxsvc/README-vboxsvc.txt Discuss and get help in VirtualBox Forum thread "[Free as in beer] SMF service for VirtualBox VM's": https://forums.virtualbox.org/viewtopic.php?f=11&t=33249 A replica is hosted (and would likely be the HEAD of development soon) at https://github.com/jimklimov/vboxsvc See also https://github.com/jimklimov/vboxconfig_sh.git for tweaks needed to set up Oracle VirtualBox for Solaris packages (4.x, 5.0.x) on illumos hosts. ...

MANTIS is a hybrid high level programming language and tools optimized to crank out "line of business" applications. It allows focus on business data and process instead of technology. However, access to low level technologies are available if desired.

...Fast turnaround time and bottom-up approach invite exploration, experimentation, live circuit testing and physical test harness creation, radically changing the workflow. FPGAsm offers you an opportunity to REALLY understand Xilinx FPGAs, create circuits DIRECTLY on the FPGA using an opensource tool, and share your knowlege and projects with the community. Supported architectures: Xilinx (via xdl)

Creation of a web application using Symfony2 Framework The tutorial relates about the creation of web application using Symfony 2 Framework. The tutorial contains 8 Lessons the source code of the project is explained. The project is called X-share. The website is used for monitoring products added by users, products that can be then borrowed by other users. Logged users can add, edit or delete products and categories, can make requests for other user's products. They can also perform searches on the site according to different criterias, such as product, category or user.

Shark Virtual Library (shark-vlibrary) allows to share trougth an web java application educational, cultural and other types of documents (e-books, researches, articles, sounds...) it is specially designed for educational purposes and institutios, Three kinds of users can manage and use the documents what are saved in diffrerent sections that you can add.

This is a reprository of software I have written. It is written in C, C++ and hopefully in some obscure Basic :-) I gladly share my stuff with you under the MIT license, so you can do what you want with it (almost)... :-)

The Doodle project aims to provide a language to easily describe Origami diagrams and produces a ready-to-print document. Doodle will free creators from diagramming constraints and increase their capability to share their creations.

GDI# is a kind of GDI which can be used in both linux and windows, it provides numbers of classes and libraries to share the way to develop software. In both text and graph mode, GDI# supports a serial of functions to develop graphic programmes.