Search Results for "ada"

MinGW: A native Windows port of the GNU Compiler Collection (GCC), with freely distributable import libraries and header files for building native Windows applications; includes extensions to the MSVC runtime to support C99 functionality. All of MinGW's software will execute on the 64bit Windows platforms.

...Mahasiswa mempelajari pembagian tugas dan distribusi artifact dengan open source management tool. Aktifitas kerja praktek mahasiswa Fasilkom UI pada tanggal 14 Juli 2017 dinyatakan ditutup. Update artifak yang ada hanya dapat dilakukan oleh peneliti. Semua tickets statusnya adalah CANCEL atau CLOSED. Terima Kasih atas kerjasamanya untuk semua pihak yang sudah membantu kerja praktek ini.

MSqBAT is a freely-available all-platform software application for label-free quantification of proteins from LS-MS data. It was developed in the lab of Dr. Christoph Rösli at the Heidelberg Institude for Stem Cells and Experimental Medicine (HI-STEM) and the German Cancer Research Center (DKFZ). It’s main features are 1) Label-free, MS1-based quantification 2) Support both LC-MALDI-MS- as well as LC-ESI-MS data 3) Supports both GeLC-MALDI-MS- and GeLC-ESI-MS data 4) Convenient,...

This is the home of the development of the Safir SDK Core open source platform.

ABTools provides an open environment based on ANTLR and Java and provides some facilities for design and test the B language and somes extensions. ABTools est un environnement de développement base sur ANTLR et Java. Il permet de manipuler le langag

Codegroup is a Java application that will allow one to convert binary (or text) computer files in to 5 letter codegroups for transmission over email, landline telephones, radioteletype or Morse Code. Codegroup has internal error correction & limited cryptography capabilities. Codegroup : ZZZZZ YBPIL AIAIG FMOPP CPAAA DGNGP GPGPA ADNJN ELJKO ELIMO GEOHF KIFGP IFBCB PKCPI YJMHE PHBHP PPOBH NCOHD AKLLL AGHFP DEGEF LKELC EAIJI ABAGP AHPPO IHHPH OHPDF YNFPB ALEPO KMPKP Once this...

jWords is a port of WORDS (by William Whitaker, a free latin-to-english dictionary program written in Ada), to Java. Besides the dictionary will be translated to the German language.

Ada IDE based on NetBeans. See http://wiki.netbeans.org/Ada for more details.

Inspiring Operating System replaces Windows 8, Vista, XP and Mac OS X. (Are you tired of nasty viruses, worms, trojans, rootkits, dialers, spyware, and malware?). If so, make a smart move and get a newbie friendly free Linux Operating System today!

The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)

A new Eclipse Plugin for ADA developpement. For the moment the plugin works with : - Syntax coloration - Compilation (Not debug mode) - Autocompletion - Package manager (some imporovement have to be done)

Very Simple GUI for windows "net send" command using java (1.4.2_06 or newer). Allows a single message but multiple receivers inside the same windows network. Available contacts, inside the netwrok, are shown using the "contacts list" button.

OS based on Agent based Security with a new type of split kernel and agents platform.

Go railfanning on your calculator! The original railfanning game has made its way to several platforms, including the PC.

WTelecom is a RealTime Software to manage a telecom network. This prototype can be implemented for a production use.