Web 용 OCaml의 대안

• Web
  모든 플랫폼 Windows Mac Linux Android iPhone Android Wear iPad Android Tablet Web Playstation BSD Haiku AROS MorphOS AmigaOS Motti.NET (Programming Language)
• 모든 라이센스
  모든 라이센스 무료 라이센스 오픈 소스 라이센스 상용 라이센스

3

F*

F *는 프로그램 검증을 목표로하는 ML 유사 기능 프로그래밍 언어입니다.F *는 기능적 정확성 특성을 포함하여 프로그램에 대한 정확한 사양을 표현할 수 있습니다.F *로 작성된 프로그램은 실행을 위해 OCaml 또는 F #으로 변환 될 수 있습니다.

• 무료 앱
• Web
• Windows
• Mac
• Linux

1

Motti.NET (Programming Language)

Motti.NET (mottidotnet)은 비주얼 및 프로그래밍 기능을 갖춘 고급 프로그래밍 언어입니다.

• 무료 개인 앱
• Windows
• Web
• Motti.NET (Programming Language)