Need help with learn-ocaml?
Click the “chat” button below for chat support from the developer who created it, or find similar developers for support.

About the developer

ocaml-sf
168 Stars 40 Forks Other 1.2K Commits 82 Opened issues

Description

A Web Application for Learning OCaml

Services available

!
?

Need anything else?

Contributors list

# 336,635
gtk
Haskell
OCaml
opam
238 commits
# 75,680
OCaml
opam
Git
Package...
238 commits
# 478,221
coq
Shell
recipes
reasonm...
91 commits
# 75,880
OCaml
Jekyll
coq
theorem...
70 commits
# 488,248
OCaml
lwt
unix
http-cl...
59 commits
# 543,969
OCaml
HTML
Shell
39 commits
# 48,990
Emacs
magit
Perl
C
20 commits
# 720,649
OCaml
Shell
HTML
16 commits
# 720,650
OCaml
Shell
HTML
16 commits
# 733,894
OCaml
Shell
HTML
14 commits
# 638,880
OCaml
Jupyter...
Shell
C
13 commits
# 166,226
OCaml
Shell
functio...
algebra...
10 commits
# 735,531
OCaml
Shell
HTML
8 commits
# 69,565
OCaml
opam
functio...
coq
6 commits
# 218,238
opam
functio...
coq
formal-...
3 commits
# 784,847
OCaml
Shell
HTML
2 commits
# 134,385
Rust
OCaml
Shell
daemon
2 commits
# 458,939
OCaml
Shell
HTML
2 commits
# 7,664
python-...
Bash
React
Electro...
2 commits
# 37,130
OCaml
opam
Git
Common ...
1 commit

Learn-OCaml

This is Learn-OCaml, a platform for learning the OCaml language, featuring a Web toplevel, an exercise environment, and a directory of lessons and tutorials.

A demo is available online.

CI macOS learn-ocaml learn-ocaml-client

Howtos

Contacts

To ask any question about how to use Learn-OCaml, subscribe to the mailing-list learn-ocaml-club.

To discuss about the development of Learn-OCaml, subscribe to the mailing-list learn-ocaml-dev.

License and copyright

Unless explicitly written below or in the files themselves, the source code for the app, images, static files, course content and exercises are placed under the MIT license.

Lightly modified third party components ACE and ppx_metaquot are included, under their original licenses (respectively BSD and MIT).

The OCamlPro logo images are (c) OCamlPro. Redistribution is permitted, alteration requires prior written authorization by OCamlPro.

The OCaml / ocaml.org logo is released under the very liberal UNLICENSE. See (https://github.com/ocaml/ocaml.org/blob/master/LICENSE.md).

The Inconsolata font is released under the Open Font License. See (http://www.levien.com/type/myfonts/inconsolata.html).

The Biolinum font is licensed under the GNU General Public License with a the 'Font-Exception'. See (http://www.linuxlibertine.org).

The public instance of Learn OCaml uses the Fontin font instead of Biolinum. This font is licensed under the exljbris Font Foundry Free Font License Agreement, which, to our understanding, does not allow us to redistribute it. See (http://www.exljbris.com/eula.html). You will optionally have to procure the files by yourself while building the app. If not, the CSS provides a reasonable fallback font.

Contributions to this repository are placed under the MIT license. This means that we can merge them with the same license as the rest of the codebase, while you keep all the rights on your code. And we will not have to bother you with any future license update. See (https://opensource.org/licenses/MIT).

Authors and Acknowledgements

Learn-OCaml is a free software by the OCaml Software Foundation.

  • The main authors are Benjamin Canou, Çağdaş Bozman and Grégoire Henry.

  • It builds on the previous experience of Try OCaml by Çağdaş Bozman.

  • We heavily use jsofocaml, so thanks to the Ocsigen team.

  • The text editing component is a customized version of ACE.

  • We also include a derivative of ppx_metaquot by Alain Frisch.

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.