OCaml-Alternativen für Web

• Web
  Alle Plattformen Windows Mac Linux Android iPhone Android Wear iPad Android Tablet Web Playstation BSD Haiku AROS MorphOS AmigaOS Motti.NET (Programming Language)
• Beliebige Lizen
  Beliebige Lizen Freie Lizenz Open Source Lizenz Kommerzielle Lizenz

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.

• Kostenlose
• Web
• Windows
• Mac
• Linux

1

Motti.NET (Programming Language)

Motti.NET (mottidotnet) ist eine erweiterte Programmiersprache mit visuellen und Programmierfunktionen. Zuverlässig Motti.NET hat sich als sehr stabil erwiesen

• Kostenlose persönliche
• Windows
• Web
• Motti.NET (Programming Language)