Vino

Vino 0.1.0

Vino er ikke ORM. Ja, det er sandt, det er ikke ORM. Kom godt i gang Et hurtigt overblik med Vino:# Setup# Db = Vino ("motor: // bruger: passwd @ host: port / database")db = Vino (SQLite: //db.sqlite ')# Forespørgseldb.table (»bruger«). finde...

checkoutmanager gør BZR / Hg / git / svn kasserne flere steder efter en konfigurationsfil.Kommentarer DeveloperFordelen: du har fået en kommando, som du kan opdatere alle dine kasser. Og som du kan bede om en liste over uudnyttede ændringer. Og du kan...

HOL

HOL 7

HOL kort fra Higher Order Logic er et programmeringssprog miljø, hvor sætninger kan bevises, og bevis værktøjer implementeret.Indbyggede beslutningsprocedurerne og Sætning provers kan automatisk etablere mange enkle sætninger. Et orakel mekanisme giver...

NCBI C ++ Toolkit tilbyder gratis, bærbare, offentlige domæne biblioteker uden begrænsninger bruge. Det virker på Unix, MS Windows og Mac OS-platforme:ย ท Netværk og kommunikationssystem (IPC) bibliotek med iostream adaptereย ท multithreading Bibliotekย ท...

CruxPorts4Slack

CruxPorts4Slack 20120729

CruxPorts4Slack tilpasser "porte" og kommandoer "pkgmk" for at tillade brugen af ​​havne depoter til Crux med Slackware. I BSD Unix verden en porte system betyder en mappe hierarki (ususally under / usr / porte) hvor kan du automatisk bygge dine egne...

Java Tools

Java Tools 0.46

Java Tools er en letvægts integreret udviklingsmiljø til oprettelse, kompilering, og udføre Java-programmer og applets.Java Tools inkluderer peg og klik adgang til Java-filer, kommandoer og dokumenter. Det omfatter også en indbygget teksteditor og...