BitRock InstallBuilder voor Qt kunt u eenvoudig te gebruiken installateurs voor Unix, Windows en OS X. creëren De gegenereerde installateur voor een applicatie heeft een native look-and-feel en geen externe afhankelijkheden, en kan worden uitgevoerd in...

Vino

Vino 0.1.0

Vino is niet ORM. Ja, het is waar, het is niet ORM. Aan de slag Een snel overzicht met Vino:# Setup# Db = Vino ('engine: // gebruiker: passwd @ host: port / database)db = Vino ('sqlite: //db.sqlite')# Querydb.table ("gebruiker"). vind...

checkoutmanager maakt bzr / hg / git / svn kassa's op verschillende plaatsen volgens een configuratiebestand.Developer reactiesHet voordeel: je hebt een commando waarmee u al uw kassa's bij te werken. En waarmee u kunt vragen om een ​​lijst van...

HOL

HOL 7

HOL korte van hogere orde Logic is een programmeeromgeving waarin stellingen kan worden bewezen en het bewijs instrumenten geïmplementeerd.Built-in besluitvormingsprocedures en bewijshulpmiddelen kan automatisch veel eenvoudige stellingen vast te stellen....

NCBI C ++ Toolkit biedt gratis, draagbare, openbaar domein bibliotheken zonder beperkingen te gebruiken. Het werkt op Unix, MS Windows en Mac OS-platforms:ย ท Netwerken en Interprocess Communication (IPC) bibliotheek met iostream adaptersย ท...

CruxPorts4Slack

CruxPorts4Slack 20120729

CruxPorts4Slack past de "poorten" en "pkgmk" commando's om het gebruik van havens repositories zorgen voor Crux met Slackware. In de BSD Unix-wereld een ports systeem betekent een directory hiërarchie (ususally onder / usr / ports) waar u kunt het...

Java Tools

Java Tools 0.46

Java Tools is een lichtgewicht geïntegreerde ontwikkelomgeving voor het maken, samenstellen en uitvoeren van Java-toepassingen en applets.Java Tools bevat point and click toegang tot de Java-bestanden, commando's en documenten. Het bevat ook een...