Ocaml5-tutorial Alternatives

Similar projects and alternatives to ocaml5-tutorial

• rust

  2,682 92,831 10.0 Rust ocaml5-tutorial VS rust

  Empowering everyone to build reliable and efficient software.

  

• ocaml

  119 5,156 9.9 OCaml ocaml5-tutorial VS ocaml

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

  

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

  

• coq

  87 4,602 10.0 OCaml ocaml5-tutorial 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.

  

• haxe

  82 5,958 9.7 Haxe ocaml5-tutorial VS haxe

  Haxe - The Cross-Platform Toolkit

  

• semgrep

  74 9,724 9.9 OCaml ocaml5-tutorial 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 ocaml5-tutorial VS reason

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

  

• infer

  42 14,693 9.9 OCaml ocaml5-tutorial VS infer

  A static analyzer for Java, C, C++, and Objective-C

  

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

  

• mirage

  32 2,429 8.7 OCaml ocaml5-tutorial VS mirage

  MirageOS is a library operating system that constructs unikernels

  

• unison

  27 3,726 8.5 OCaml ocaml5-tutorial VS unison

  Unison file synchronizer (by bcpierce00)

• eioio

  25 517 9.1 OCaml ocaml5-tutorial VS eioio

  Effects-based direct-style IO for multicore OCaml

  

• vpnkit

  4 1,079 0.6 OCaml ocaml5-tutorial VS vpnkit

  A toolkit for embedding VPN capabilities in your application

  

• rescript-webapi

  2 140 5.1 ReScript ocaml5-tutorial VS rescript-webapi

  ReScript bindings to the DOM and other Web APIs

  

• ocaml-jupyter

  3 281 4.7 OCaml ocaml5-tutorial VS ocaml-jupyter

  An OCaml kernel for Jupyter (IPython) notebook

• reagents

  2 126 4.4 OCaml ocaml5-tutorial VS reagents

  Reagents for multicore OCaml

  

• mldonkey

  1 227 0.0 OCaml ocaml5-tutorial VS mldonkey

  cross-platform multi-network p2p daemon

• opam-repository

  1 2 0.0 Shell ocaml5-tutorial VS opam-repository

  Main public package repository for OPAM, the source package manager of OCaml. (by dra27)

• SaaSHub

  www.saashub.com sponsored

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