jbdoderlein / BetterOCaml

A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it works offline!), compiled with js_of_ocaml.

https://perso.eleves.ens-rennes.fr/people/jean-baptiste.doderlein/betterocaml

jbdoderlein/BetterOCaml Issues

Publish a new release with latest versions of the toplevel (4.14.1)
Closed a year ago2
Autocompletion enhancement
Closed 2 years ago2
Unindentation of new lines
Closed 2 years ago2
Most Modules like Char are not being Syntax Highlighnted and neither showing the available functions
Closed 3 years ago2
wrong error message
Closed 3 years ago1
Can't use input thing if I say cancel once
Closed 3 years ago1
cannot load files into the interpreter
Closed 3 years ago1
PWA File System Support
Closed 3 years ago2
Autosave in cache unsaved files
Closed 3 years ago2
Regex not supported for macOS and iOS with Safari
Closed 3 years ago4
Continuous integration with Github Actions
Closed 3 years ago3
Add a search and replace option for the editor
Closed 3 years ago2
Slide bar between editor and top level is not handy
Updated 3 years ago1
Clean css (thme and ui)
Closed 3 years ago2
Multiple version of the Ocaml Toplevel
Closed 3 years ago5
Add a small (<2min) GIF showing all the features of BetterOCaml
Closed 3 years ago4
UI redesign : tab section
Closed 3 years ago1
UI redesign : Move zoom button in the configuration panel
Closed 3 years ago1
Add share option in PWA
Updated 3 years ago
Small example to show that the Graphics module works (on Chromium)
Updated 3 years ago
Maybe it's possible to also bundle the web app as a native app to publish it to Google play and App Store
Updated 3 years ago1
Add a small badge to advertize about the quality of the progressive web app
Closed 3 years ago5
Could a service worker help offline usage? It worked! See this GIF demo
Closed 3 years ago8
Think about offering an offline version and/or multi-platform desktop apps?
Closed 3 years ago13
Add a clean manifest.json
Closed 3 years ago5
Improve the style for small screens and smartphones: lots of small suggestions
Closed 3 years ago3
Change the description (GitHub meta data) to say: web IDE + offline-ready
Closed 3 years ago6
Add some basic documentation: what it is, how to use it, what software are included etc?
Closed 3 years ago14
Host it somewhere (eg on GitHub pages)
Closed 3 years ago7
Choose a license for this project!
Closed 3 years ago1