Entwicklung

3
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.

0

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

1

1
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.
- Bezahlte
- Mac

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