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.

...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.

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.