Ocaml-jupyter Alternatives

Similar projects and alternatives to ocaml-jupyter

• ocaml

  119 5,156 9.9 OCaml ocaml-jupyter VS ocaml

  The core OCaml system: compilers, runtime system, base libraries

  

• coq

  87 4,602 10.0 OCaml ocaml-jupyter VS 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.

  

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• haxe

  82 5,958 9.7 Haxe ocaml-jupyter VS haxe

  Haxe - The Cross-Platform Toolkit

  

• semgrep

  74 9,724 9.9 OCaml ocaml-jupyter VS semgrep

  Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

  

• reason

  44 10,054 5.8 OCaml ocaml-jupyter VS reason

  Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

  

• mirage

  32 2,429 8.7 OCaml ocaml-jupyter VS mirage

  MirageOS is a library operating system that constructs unikernels

  

• gotty

  18 18,434 0.0 Go ocaml-jupyter VS gotty

  Share your terminal as a web application

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• unison

  27 3,726 8.5 OCaml ocaml-jupyter VS unison

  Unison file synchronizer (by bcpierce00)

• eioio

  25 517 9.1 OCaml ocaml-jupyter VS eioio

  Effects-based direct-style IO for multicore OCaml

  

• cloudmacs

  9 483 1.7 Shell ocaml-jupyter VS cloudmacs

  Selfhost your Emacs and access it in browser

• template-nix

  4 29 0.0 Nix ocaml-jupyter VS template-nix

  The nix template, configured for Gitpod (www.gitpod.io) to give you pre-built, nix based ephemeral development environments in the cloud.

  

• learn-ocaml

  2 295 8.1 JavaScript ocaml-jupyter VS learn-ocaml

  A Web Application for Learning OCaml

  

• polygott

  9 360 2.8 Shell ocaml-jupyter VS polygott

  Discontinued Base Docker image for the Repl.it evaluation server

  

• best-of-jupyter

  3 829 7.9 ocaml-jupyter VS best-of-jupyter

  🏆 A ranked list of awesome Jupyter Notebook, Hub and Lab projects (extensions, kernels, tools). Updated weekly.

  

• Functional-Programming-Techniques-In-Python

  11 21 0.0 Jupyter Notebook ocaml-jupyter VS Functional-Programming-Techniques-In-Python

  Exploring functional centric designs and patterns in Python

• vpnkit

  4 1,079 0.6 OCaml ocaml-jupyter VS vpnkit

  A toolkit for embedding VPN capabilities in your application

  

• docker-ocaml-jupyter

  1 6 10.0 Shell ocaml-jupyter VS docker-ocaml-jupyter

  Minimum Docker image for OCaml Jupyter

• ML-Workspace

  7 3,324 2.7 Jupyter Notebook ocaml-jupyter VS ML-Workspace

  🛠 All-in-one web-based IDE specialized for machine learning and data science.

  

• ocaml5-tutorial

  3 193 4.1 OCaml ocaml-jupyter VS ocaml5-tutorial

  A hands-on tutorial on the new parallelism features in OCaml 5

  

• rescript-webapi

  2 140 5.1 ReScript ocaml-jupyter VS rescript-webapi

  ReScript bindings to the DOM and other Web APIs

  

• SaaSHub

  www.saashub.com sponsored

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives