Entwicklung

F*

F*

F * ist eine ML-ähnliche funktionale Programmiersprache zur Programmverifizierung.F * kann genaue Programmspezifikationen ausdrücken, einschließlich funktioneller Korrektheitseigenschaften.In F * geschriebene Programme können zur Ausführung in OCaml oder F # übersetzt werden.
Web2book

Web2book

Eine Anwendung, um verschiedene Internetinhalte in elektronische Bücher umzuwandeln.
Thinking Worlds

Thinking Worlds

Thinking Worlds ist eine weltweit einzigartige Umgebung zum Erstellen von 3D-Sims und -Spielen.
AresEd

AresEd

AresEd ist eine hochentwickelte und voll funktionsfähige Suite zur Erstellung von 3D-Spielen.Es ist kostenlos und Open Source.
Power Game Factory

Power Game Factory

Mit Power Game Factory, einer Software zum Erstellen von Side-Scrolling-Actionspielen für den Macintosh, wird das Spieledesign jetzt noch einfacher.
TaskHitter

TaskHitter

RESPONSIVE TASK MANAGER MIT KANBAN BOARD.Perfekt für Startups und Entwicklungsteams, die ein intelligentes Task-Management-Tool in der Cloud benötigen.