Giter Site home page Giter Site logo

gitter-badger / learn-ocaml Goto Github PK

View Code? Open in Web Editor NEW

This project forked from ocaml-sf/learn-ocaml

0.0 1.0 0.0 3.76 MB

A Web Application for Learning OCaml

License: Other

Shell 1.04% Dockerfile 0.22% Makefile 0.32% HTML 0.84% OCaml 97.05% Standard ML 0.24% JavaScript 0.30%

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 at: [http://ocaml.hackojo.org/].

Build status logo

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 BSD 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/BSD-3-Clause].

Authors and Acknowledgements

Learn-OCaml is a software by OCamlPro.

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

learn-ocaml's People

Contributors

adhameer avatar altgr avatar armael avatar erikmd avatar fpottier avatar hnrgrgr avatar ineol avatar klakplok avatar lyrm avatar niols avatar wyschean avatar yurug avatar zimmi48 avatar

Watchers

 avatar

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.