ocaml-jupyter
learn-ocaml
Our great sponsors
ocaml-jupyter | learn-ocaml | |
---|---|---|
3 | 2 | |
281 | 295 | |
- | 2.4% | |
4.7 | 8.1 | |
3 months ago | 4 days ago | |
OCaml | JavaScript | |
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.
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!
learn-ocaml
- Learn-OCaml
-
Choices for online Ocaml?
There is https://github.com/ocaml-sf/learn-ocaml
What are some alternatives?
gotty - Share your terminal as a web application
template-nix - The nix template, configured for Gitpod (www.gitpod.io) to give you pre-built, nix based ephemeral development environments in the cloud.
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.