learn-ocaml
ocaml-jupyter
Our great sponsors
learn-ocaml | ocaml-jupyter | |
---|---|---|
2 | 3 | |
295 | 282 | |
2.4% | - | |
8.1 | 4.7 | |
8 days ago | 3 months ago | |
JavaScript | OCaml | |
MIT License | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
learn-ocaml
- Learn-OCaml
-
Choices for online Ocaml?
There is https://github.com/ocaml-sf/learn-ocaml
ocaml-jupyter
- OCaml 5.0 Multicore is out
- Come aggiungere kernel ocaml a Jupyter Notebook?
-
Choices for online Ocaml?
Here's an ocaml kernel for jupyter notebooks: https://github.com/akabe/ocaml-jupyter. You could feasibly get this up and running on some jupyter platform online!
What are some alternatives?
template-nix - The nix template, configured for Gitpod (www.gitpod.io) to give you pre-built, nix based ephemeral development environments in the cloud.
gotty - Share your terminal as a web application
template-ocaml - A template for OCaml, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.
best-of-jupyter - 🏆 A ranked list of awesome Jupyter Notebook, Hub and Lab projects (extensions, kernels, tools). Updated weekly.
Functional-Programming-Techniques-In-Python - Exploring functional centric designs and patterns in Python
cloudmacs - Selfhost your Emacs and access it in browser
ML-Workspace - 🛠 All-in-one web-based IDE specialized for machine learning and data science.
docker-ocaml-jupyter - Minimum Docker image for OCaml Jupyter
coda - Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security. [Moved to: https://github.com/MinaProtocol/mina]
ocaml4noobs - Tutorial de OCaml para iniciantes na Linguagem.
coq - Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.