learn-ocaml
A Web Application for Learning OCaml
Language: json
Author: GitHub Repos (@github-repos)
0 stars · 1 views
Viewing path: README.md
Files
- annotation-xml.js (js)
- fonts (txt)
- TeX (txt)
- AMS-Regular.js (js)
- Fraktur-Bold.js (js)
- Fraktur-Regular.js (js)
- fontdata-extra.js (js)
- SansSerif-Italic.js (js)
- Script-Regular.js (js)
- Caligraphic-Bold.js (js)
- Typewriter-Regular.js (js)
- Math-BoldItalic.js (js)
- SansSerif-Regular.js (js)
- SansSerif-Bold.js (js)
- Main-Bold.js (js)
- fontdata.js (js)
- jax.js (js)
- config.js (js)
- input (txt)
- AsciiMath (txt)
- jax.js (js)
- config.js (js)
- css (txt)
- learnocaml_exercise.css (css)
- learnocaml_teacher_tab.css (css)
- learnocaml_report.css (css)
- learnocaml_student_view.css (css)
- learnocaml_tryocaml.css (css)
- learnocaml_description.css (css)
- learnocaml_main.css (css)
- learnocaml_standalone_description.css (css)
- learnocaml_common.css (css)
- learnocaml_partition_view.css (css)
- description.html (html)
- student-view.html (html)
- static-builds.yml (yml)
- build-and-test.yml (yml)
- build-macos.yml (yml)
- test-opam-publish.yml (yml)
- opam-publish.yml (yml)
- pin-artifacts.yml (yml)
- PULL_REQUEST_TEMPLATE.md (md)
- ISSUE_TEMPLATE (txt)
- docs (txt)
- exercises_format.md (md)
- tutorials (txt)
- step-6.md (md)
- step-1.md (md)
- step-2.md (md)
- step-4.md (md)
- step-7.md (md)
- step-3.md (md)
- step-0.md (md)
- step-5.md (md)
- howto-setup-exercise-development-environment.md (md)
- howto-submit-an-exercise.md (md)
- howto-practice-ocaml.md (md)
- howto-deploy-a-learn-ocaml-instance.md (md)
- exercises_tests.md (md)
- howto-write-exercises.md (md)
- index.md (md)
- howto-classify-students-answers.md (md)
- howto-deploy-learn-ocaml-statically.md (md)
- howto-include-images-in-exercises.md (md)
- mkdocs.yml (yml)
- Makefile (txt)
- release-please-config.json (json)
- static (txt)
- icons (txt)
- tryocaml_loading_4.gif (image)
- tryocaml_loading_1.gif (image)
- icon_token_src.svg (image)
- icon_feedback.svg (image)
- Makefile (txt)
- stars_35.svg (image)
- icon_left_src.svg (image)
- tryocaml_loading_3.gif (image)
- icon_list_src.svg (image)
- logo_ocsf.svg (image)
- icon_save_src.svg (image)
- icon_download_src.svg (image)
- favicon.ico (image)
- stars_05.svg (image)
- stars_00.svg (image)
- icon_logout_src.svg (image)
- stars_40.svg (image)
- stars_10.svg (image)
- icon_upload_src.svg (image)
- icon_run_src.svg (image)
- tryocaml_loading_2.gif (image)
- icon_reload_src.svg (image)
- stars_25.svg (image)
- stars_20.svg (image)
- logo_ocp.svg (image)
- icon_up_src.svg (image)
- tryocaml_loading_8.gif (image)
- logo_ocaml.svg (image)
- icon_down_src.svg (image)
- tryocaml_loading_7.gif (image)
- icon_sync_src.svg (image)
- icon_typecheck_src.svg (image)
- icon_right_src.svg (image)
- tryocaml_loading_9.gif (image)
- icon_menu_src.svg (image)
- stars_30.svg (image)
- icon_cleanup_src.svg (image)
- tryocaml_loading_5.gif (image)
- tryocaml_loading_6.gif (image)
- stars_15.svg (image)
- Makefile (txt)
- fonts (txt)
- get_fontin.sh (sh)
- playground.html (html)
- exercise.html (html)
- partition-view.html (html)
- js (txt)
- ace (txt)
- ext-keybinding_menu.js (js)
- ext-settings_menu.js (js)
- keybinding-emacs.js (js)
- mathjax (txt)
- fonts (txt)
- HTML-CSS (txt)
- TeX (txt)
- woff (txt)
- LICENSE (txt)
- extensions (txt)
- toMathML.js (js)
- fast-preview.js (js)
- asciimath2jax.js (js)
- a11y (txt)
- semantic-enrich.js (js)
- explorer.js (js)
- wgxpath.install.js (js)
- collapsible.js (js)
- mathmaps (txt)
- units (txt)
- other.js (js)
- speed.js (js)
- temperature.js (js)
- time.js (js)
- volume.js (js)
- energy.js (js)
- units_spanish.js (js)
- weight.js (js)
- length.js (js)
- memory.js (js)
- functions (txt)
- hyperbolic.js (js)
- trigonometry.js (js)
- algebra.js (js)
- functions_spanish.js (js)
- elementary.js (js)
- symbols (txt)
- math_characters.js (js)
- latin-lower-normal.js (js)
- latin-lower-phonetic.js (js)
- math_symbols.js (js)
- math_geometry.js (js)
- math_non_characters.js (js)
- latin-upper-normal.js (js)
- latin-mathfonts.js (js)
- math_arrows.js (js)
- math_delimiters.js (js)
- greek-mathfonts.js (js)
- math_digits.js (js)
- greek-symbols.js (js)
- latin-upper-single-accent.js (js)
- math_angles.js (js)
- latin-lower-double-accent.js (js)
- latin-upper-double-accent.js (js)
- math_whitespace.js (js)
- other_stars.js (js)
- latin-lower-single-accent.js (js)
- greek-scripts.js (js)
- greek-small.js (js)
- hebrew_letters.js (js)
- greek-capital.js (js)
- math_harpoons.js (js)
- latin-rest.js (js)
- spanish_mathfonts.js (js)
- accessibility-menu.js (js)
- auto-collapse.js (js)
- HTML-CSS (txt)
- handle-floats.js (js)
- MathEvents.js (js)
- AssistiveMML.js (js)
- latest.js (js)
- MathJax.js (js)
- jax (txt)
- element (txt)
- mml (txt)
- jax.js (js)
- optable (txt)
- LetterlikeSymbols.js (js)
- CombDiacritMarks.js (js)
- MiscTechnical.js (js)
- SupplementalArrowsB.js (js)
- Arrows.js (js)
- SpacingModLetters.js (js)
- GreekAndCoptic.js (js)
- Latin1Supplement.js (js)
- GeneralPunctuation.js (js)
- MiscMathSymbolsA.js (js)
- BasicLatin.js (js)
- Dingbats.js (js)
- SupplementalArrowsA.js (js)
- MiscMathSymbolsB.js (js)
- MiscSymbolsAndArrows.js (js)
- MathOperators.js (js)
- GeometricShapes.js (js)
- SuppMathOperators.js (js)
- CombDiactForSymbols.js (js)
- output (txt)
- PlainSource (txt)
- jax.js (js)
- config.js (js)
- HTML-CSS (txt)
- autoload (txt)
- mmultiscripts.js (js)
- menclose.js (js)
- mtable.js (js)
- multiline.js (js)
- maction.js (js)
- index.html (html)
- README.md (md)
- LICENSE (txt)
- translations (txt)
- .github (github)
- workflows (txt)
- mglyph.js (js)
- ms.js (js)
- check-update-index.yml (yml)
- release.yml (yml)
- annotation-xml.js (js)
- fonts (txt)
- TeX (txt)
- Main (txt)
- Bold (txt)
- LetterlikeSymbols.js (js)
- Main.js (js)
- MiscSymbols.js (js)
- CombDiacritMarks.js (js)
- MiscTechnical.js (js)
- Arrows.js (js)
- SpacingModLetters.js (js)
- Latin1Supplement.js (js)
- GeneralPunctuation.js (js)
- MiscMathSymbolsA.js (js)
- SupplementalArrowsA.js (js)
- publish-artifacts.yml (yml)
- MathOperators.js (js)
- LatinExtendedB.js (js)
- GeometricShapes.js (js)
- SuppMathOperators.js (js)
- CombDiactForSymbols.js (js)
- LatinExtendedA.js (js)
- Regular (txt)
- Main.js (js)
- MiscSymbols.js (js)
- CombDiacritMarks.js (js)
- SpacingModLetters.js (js)
- GeometricShapes.js (js)
- Italic (txt)
- LetterlikeSymbols.js (js)
- Main.js (js)
- CombDiacritMarks.js (js)
- Latin1Supplement.js (js)
- GeneralPunctuation.js (js)
- SansSerif (txt)
- Bold (txt)
- Main.js (js)
- CombDiacritMarks.js (js)
- Other.js (js)
- BasicLatin.js (js)
- Regular (txt)
- Main.js (js)
- CombDiacritMarks.js (js)
- Other.js (js)
- BasicLatin.js (js)
- Italic (txt)
- Main.js (js)
- CombDiacritMarks.js (js)
- Other.js (js)
- BasicLatin.js (js)
- Caligraphic (txt)
- Bold (txt)
- deploy-master.yml (yml)
- Main.js (js)
- Regular (txt)
- Main.js (js)
- Size3 (txt)
- Regular (txt)
- Main.js (js)
- Typewriter (txt)
- Regular (txt)
- Main.js (js)
- CombDiacritMarks.js (js)
- Other.js (js)
- BasicLatin.js (js)
- fontdata-extra.js (js)
- Script (txt)
- Regular (txt)
- Main.js (js)
- Other.js (js)
- BasicLatin.js (js)
- Math (txt)
- BoldItalic (txt)
- Main.js (js)
- Italic (txt)
- Main.js (js)
- WinChrome (txt)
- Regular (txt)
- Main.js (js)
- AMS (txt)
- Regular (txt)
- LetterlikeSymbols.js (js)
- Main.js (js)
- MiscSymbols.js (js)
- CombDiacritMarks.js (js)
- MiscTechnical.js (js)
- Arrows.js (js)
- PUA.js (js)
- SpacingModLetters.js (js)
- GreekAndCoptic.js (js)
- EnclosedAlphanum.js (js)
- Latin1Supplement.js (js)
- GeneralPunctuation.js (js)
- Dingbats.js (js)
- MiscMathSymbolsB.js (js)
- MathOperators.js (js)
- BBBold.js (js)
- BoxDrawing.js (js)
- GeometricShapes.js (js)
- SuppMathOperators.js (js)
- LatinExtendedA.js (js)
- Size2 (txt)
- Regular (txt)
- Main.js (js)
- Size1 (txt)
- Regular (txt)
- Main.js (js)
- Fraktur (txt)
- Bold (txt)
- Main.js (js)
- PUA.js (js)
- Other.js (js)
- BasicLatin.js (js)
- Regular (txt)
- Main.js (js)
- PUA.js (js)
- Other.js (js)
- BasicLatin.js (js)
- WinIE6 (txt)
- Regular (txt)
- Main.js (js)
- AMS.js (js)
- Bold.js (js)
- fontdata.js (js)
- Size4 (txt)
- Regular (txt)
- Main.js (js)
- Greek (txt)
- Bold (txt)
- Main.js (js)
- Regular (txt)
- Main.js (js)
- BoldItalic (txt)
- Main.js (js)
- Italic (txt)
- Main.js (js)
- imageFonts.js (js)
- jax.js (js)
- config.js (js)
- PreviewHTML (txt)
- jax.js (js)
- config.js (js)
- CommonHTML (txt)
- autoload (txt)
- mmultiscripts.js (js)
- menclose.js (js)
- mtable.js (js)
- multiline.js (js)
- maction.js (js)
- mglyph.js (js)
- ms.js (js)
- feature_request.yml (yml)
- question.yml (yml)
- bug_report.yml (yml)
- config.yml (yml)
- Dockerfile (txt)
- demo-repository (txt)
- lessons (txt)
- lessons.json (json)
- demo.json (json)
- tutorials (txt)
- html-syntax.md (md)
- html-demo.html (html)
- index.json (json)
- html-syntax.html (html)
- ATTRIBUTION.md (markdown)
