Hire PHP Developer, PHP Website Development Company
High quality and affordable solutions by PHP developer Do you want to hire dedicated PHP programmers? We have huge expertise in offering PHP developer for hire on part and full time basis. As we have ...
C Sharp software
C# is one of the most popular programming languages.
PHP
PHP is a server-side scripting language designed for web development but also used as a general-purpose programming language. As of January 2013, PHP was installed on more than 240 million websites (...
Python software
The Python programming language is actively used by many people, both in industry and academia for a wide variety of purposes.
SLAM project
The SLAM project, which was started by Microsoft Research, aimed at verifying some software safety properties using model checking techniques. It is implemented in Ocaml, and has been used to find man...
OCaml
OCaml (/oʊˈkæməl/ oh-KAM-əl), originally known as Objective Caml, is the main implementation of the Caml programming language, created by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy and...
Hire PHP Developer, PHP Website Development Company
High quality and affordable solutions by PHP developer Do you want to hire dedicated PHP programmers? We have huge expertise in offering PHP developer for hire on part and full time basis. As we have ...
MATLAB
MATLAB (matrix laboratory) is a multi-paradigm numerical computing environment and fourth-generation programming language. Developed by MathWorks, MATLAB allows matrix manipulations, plotting of funct...
MATLAB - Wikipedia
Jump 'n Bump
Jump 'n Bump is a 1998 freeware MS-DOS platform video game by Brainchild Design.
Jump 'n Bump has no plot, other than that it involves up to 4 rabbits in multiplayer deathmatch: Dott, Jiffy, Fizz...
Jump 'n Bump - Wikipedia
WiseMapping
WiseMapping is a free mind mapping web based application written in Java, SVG and HTML5. WiseMapping is licensed under the WiseMapping Public License Version 1.0. It provides extensive export capabil...
WiseMapping - Wikipedia
JIRA Studio
JIRA Studio is an integrated, hosted software development suite developed by Atlassian Software Systems. JIRA Studio includes Subversion for revision control, JIRA for issue tracking and bug tracking,...
GODI
GODI is a package management system for the OCaml programming language. It provides dependency management for OCaml similar to the way CPAN provides package management for Perl. GODI is derived from ...
GODI - Wikipedia
Euler (software)
Euler (now Euler Mathematical Toolbox or EuMathT) is a free and open-source numerical software package. It contains a matrix language, a graphical notebook style interface, and a plot window. Euler i...
Amavis
Amavis is an open source content filter for electronic mail,implementing mail message transfer, decoding, some processing and checking,and interfacing with external content filters to provide protecti...
OpenH264
OpenH264 is a free software library for real-time encoding and decoding video streams in the H.264/MPEG-4 AVC format. It is released under the terms of the BSD license.
On October 30, 2013, Rowan ...
Orange and Bronze Software Labs
Orange and Bronze Software Labs (O&B) is a privately owned computer software development company based in the Philippines. The company delivers software consulting, product engineering, and IT tra...
Orange and Bronze Software Labs - Wikipedia
Matita
Matitais an experimental proof assistant under development at the Computer Science Department of the University of Bologna. It is a tool aiding the development of formal proofs by man-machine collabor...
Matita - Wikipedia
Marionnet
Marionnet is a virtual network laboratory: it allows users to define, configure and run complex computer networks without any need for physical setup. Only a single, possibly even non-networked GNU/Li...
Marionnet - Wikipedia