Giter Site home page Giter Site logo

ocaml-sf / learn-ocaml Goto Github PK

View Code? Open in Web Editor NEW
296.0 16.0 66.0 4.99 MB

A Web Application for Learning OCaml

Home Page: https://ocaml-sf.org/learn-ocaml/

License: MIT License

Makefile 0.25% HTML 0.42% OCaml 45.23% Standard ML 0.01% JavaScript 48.63% Shell 0.90% Dockerfile 0.14% CSS 4.38% Emacs Lisp 0.05%
ocaml teaching learn-ocaml

learn-ocaml's Introduction

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 '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.

It was written by OCamlPro from 2015 to 2018.

The current main contributors are Érik Martin-Dorel, Yann Régis-Gianas, and Louis Gesbert.

The initial authors were Benjamin Canou, Çağdaş Bozman, Grégoire Henry, and Louis Gesbert.

It builds on the previous experience of Try OCaml, by Çağdaş Bozman and Fabrice Le Fessant.

We heavily use js_of_ocaml, 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.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.