FileCart

OCaml 1.2.9

The all-in-one OCaml bundle for iOS, iPadOS and macOS!

filecart iOS
Download 38.03 MB
21downloads
2this week
FreeFreeware
0reviews

Screenshots

OCaml 1.2.9 screenshot
OCaml 1.2.9 screenshot
OCaml 1.2.9 screenshot
OCaml 1.2.9 screenshot
OCaml 1.2.9 screenshot

About OCaml

The all-in-one OCaml bundle for iOS, iPadOS and macOS! Learn the language and practice with a powerful editor and interactive top level available in the app, working offline.

CODE
- Write OCaml code directly from the app, and execute it with an interactive top level
- Save your code in .ml files to open again them later
- No need to install additional tools, OCaml is shipped with the app, and works offline
- Customize the editor settings to make it yours

LEARN
- Learn OCaml step by step with chapters about variables, conditions, loops, …
- New chapters are added frequently
- It’s quick and easy!

Don’t wait, start learning and playing with OCaml for free now!

Application developed by Nathan Fallet
© 2021 Groupe MINASTE
Release info New Release on Feb 19, 2025
Release notes Fixing issues with iOS 18
Listing dataApp Store

Reviews

No reviews yet. Be the first to review OCaml.

Used OCaml? Tell other visitors what you thought.

Log in to write a review

Other products by this publisher

Most viewed iOS Developer Tools

  1. 1 ZScripter 12.2.0 ZScripter plays compatible Ren'Py, RealLive, NScripter, (PONS)ONScripter-EN/RU/JH/Yuri, Artemis, Siglus, AI5 and UK2 games as well as KiriKiri (+Kirikiroid2 patches) and RPG Maker MV/MZ & XP, VX and VX Ace support. 271
  2. 2 GitHub 1.283.0 There’s a lot you can do on GitHub that doesn’t require a complex development environment – like sharing feedback on a design discussion, or reviewing a few lines of code. 208
  3. 3 Shader Playground 1.0 Shader Playground is a powerful real-time shader editor built for iPhone and iPad. 180
  4. 4 Agents Anywhere 2.1.0 Agents Anywhere is a developer tools mobile application for remotely controlling your local computer to complete coding tasks. 176
  5. 5 Code Workspace 0.9.1 Code Workspace is a free, agent-first development environment for iPad and iPhone. 147
  6. 6 Termius 8.0.7 Termius is a modern SSH client designed for productivity and collaboration. 112
  7. 7 LocalDevVPN 1.3.0 LocalDevVPN is a developer tool for creating and managing local network tunnels directly on iOS. 108
  8. 8 Cursor 1.17.0 Introducing Cursor for iOS: the best way to build, review, and ship software from anywhere. 95
  9. 9 TestFlight 4.4.1 TestFlight makes it easy to test beta versions of apps and App Clips to provide valuable feedback to developers before they release their apps on the App Store. 93
  10. 10 HTTP Debugger+ 1.2.3 HTTP Debugger+ is a professional HTTP traffic inspector designed for developers and QA engineers. 91

Most downloaded iOS Developer Tools

  1. 1 Agents Anywhere 2.1.0 Agents Anywhere is a developer tools mobile application for remotely controlling your local computer to complete coding tasks. 218
  2. 2 a-Shell mini 2.3.2 a-Shell mini is a complete local terminal emulator, allowing to run most Unix commands on you iOS device. 120
  3. 3 Rulify 1.0.7 Rulify ????? iOS App ????,???????? App ????,??????????????? 118
  4. 4 LadderTouch 2.1.5 LadderTouch is an app to learn the basics of ladder logic, which is a graphical programming language. 96
  5. 5 FSNotes 7.6.0 FSNotes is a fast, modern notes manager for macOS and iOS. 73
  6. 6 C/C++$-LLVM Clang 2.7 This is a learning tool for efficient C/C++ learning, fast programming, ?(LLVM+Clang)offline compilation and local execution?, Git fetching, iCloud storage, and efficient transfer and sharing via LAN HTTP/FTP multi-point connections. 56
  7. 7 python3$ 6.6 This is a Python 3.13 learning tool for efficient learning, fast programming, local execution, breakpoint debugging, precise error reporting, Git fetching, iCloud access, and efficient transfer and sharing via LAN HTTP/FTP multi-point connections. 40
  8. 8 websta$-learn html css and js 3.2 This is a learning tool for efficient HTML, CSS, and JS learning, fast programming, local execution, Git retrieval, iCloud storage, efficient transfer and sharing via LAN HTTP/FTP multi-point connections. 37
  9. 9 HTTP Debugger+ 1.2.3 HTTP Debugger+ is a professional HTTP traffic inspector designed for developers and QA engineers. 36
  10. 10 Herdy 1.3.0 Herdy puts your remote terminal and long-running coding-agent sessions in your pocket. 36