jbdoderlein BetterOCaml issues

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://jbdoderlein.github.io/BetterOCaml/

Apache License 2.0

37 stars 8 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Update index.html

#78 Naereen closed 4 days ago
0
Typo (a missing "s" in French) in the message showing "documents ont été sauvegardéS"

#77 Naereen closed 4 days ago
0
Performance difference between v4.11 and v5.1+ ?? (on a tiny snippet of recursive OCaml code)

#76 Naereen opened 5 days ago
0
✨ output Toplevel runtime exception as Errors instead of standard output values

#75 AlexisHamon closed 5 months ago
0
🐛 fix error highlight location of js execute_callback

#74 AlexisHamon closed 5 months ago
0
Publish a new release with latest versions of the toplevel (4.14.1)

#73 Naereen closed 1 year ago
2
Update Ocaml version

#72 OscarLahaie closed 2 years ago
0
Add support for OCaml 4.14.0

#71 math-gout closed 2 years ago
0
Autocompletion enhancement

#70 fksosn closed 2 years ago
2
Unindentation of new lines

#69 fksosn closed 2 years ago
2
Fix bugs, remove dependancies

#68 math-gout closed 2 years ago
0
wrong error message

#67 ArtiskOnGit closed 2 years ago
1
Update zarith_stubs_js, cleanup code, added missing Stdlib keywords

#66 math-gout closed 2 years ago
0
Fixed syntax highlighting

#65 math-gout closed 2 years ago
0
Most Modules like Char are not being Syntax Highlighnted and neither showing the available functions

#64 arctumn closed 2 years ago
2
Update to OCaml 4.13.1 and remove .DS_Store files

#63 math-gout closed 2 years ago
0
Update to OCaml 4.13.0

#62 math-gout closed 2 years ago
0
Rework compilation

#61 math-gout closed 2 years ago
0
Update to latest version of js_of_ocaml

#60 math-gout closed 3 years ago
0
Update toplevel history system

#59 math-gout closed 3 years ago
0
Refactor + remove unused code in toplevel.ml

#58 math-gout closed 3 years ago
0
A fix for issue #36

#57 math-gout closed 3 years ago
0
Better toplevel callbacks and history system + bug fixes

#56 math-gout closed 3 years ago
0
cannot load files into the interpreter

#55 yuxi-liu-wired closed 3 years ago
1
Download js_of_ocaml 3.9.1 instead of latest

#54 math-gout closed 3 years ago
0
Update autocompletion and toplevel

#53 math-gout closed 3 years ago
0
Fixed scrollbar rendering issue

#52 math-gout closed 3 years ago
0
Fixed a console output auto resizing issue

#51 math-gout closed 3 years ago
0
remove ml_z_mul_overflows warnings

#50 bladewang closed 3 years ago
2
Added Zarith for toplevels

#49 bladewang closed 3 years ago
1
New toplevel access

#48 jbdoderlein closed 3 years ago
0
Updated toplevels

#47 math-gout closed 3 years ago
0
Fixed output directory error for compile script

#46 math-gout closed 3 years ago
0
Option to choose output directory for compilation

#45 math-gout closed 3 years ago
0
Slide bar between editor and top level is not handy

#44 Butanium opened 3 years ago
1
Add a search and replace option for the editor

#43 Butanium closed 3 years ago
2
Fixed an issue with permissions

#42 math-gout closed 3 years ago
0
Toplevel build instruction

#41 jbdoderlein closed 3 years ago
0
Added a script for compiling toplevels

#40 math-gout closed 3 years ago
0
Added new versions and fixed typos / case

#39 math-gout closed 3 years ago
0
V2 : UI andl cean code update

#38 jbdoderlein closed 3 years ago
0
Regex not supported for macOS and iOS with Safari

#37 jbdoderlein closed 3 years ago
4
Can't use input thing if I say cancel once

#36 Butanium closed 3 years ago
1
Add support for multiple versions

#35 math-gout closed 3 years ago
0
Clean css (thme and ui)

#34 jbdoderlein closed 3 years ago
2
Multiple version of the Ocaml Toplevel

#33 jbdoderlein closed 3 years ago
5
Continuous integration with Github Actions

#32 jbdoderlein closed 3 years ago
3
Add share option in PWA

#31 jbdoderlein opened 3 years ago
0
UI redesign : Move zoom button in the configuration panel

#30 jbdoderlein closed 3 years ago
1
UI redesign : tab section

#29 jbdoderlein closed 3 years ago
1