OCaml 5.0 Multicore is out

• coq

  87 4,602 10.0 OCaml

  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.

  

• mirage

  32 2,429 8.7 OCaml

  MirageOS is a library operating system that constructs unikernels

  

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

  

• ocaml

  119 5,156 9.9 OCaml

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

  

• semgrep

  74 9,724 9.9 OCaml

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

  

• unison

  27 3,726 8.5 OCaml

  Unison file synchronizer (by bcpierce00)

• mldonkey

  1 227 0.0 OCaml

  cross-platform multi-network p2p daemon

• vpnkit

  4 1,079 0.6 OCaml

  A toolkit for embedding VPN capabilities in your 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.

  

• reason

  44 10,054 5.8 OCaml

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

  

• haxe

  82 5,958 9.7 Haxe

  Haxe - The Cross-Platform Toolkit

  

• infer

  42 14,693 9.9 OCaml

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

  

• ocaml-jupyter

  3 281 4.7 OCaml

  An OCaml kernel for Jupyter (IPython) notebook

• rust

  2,682 92,831 10.0 Rust

  Empowering everyone to build reliable and efficient software.

  

Yup. Rust was originally written in OCaml

https://github.com/rust-lang/rust/tree/ef75860a0a72f79f97216...

• eioio

  25 517 9.1 OCaml

  Effects-based direct-style IO for multicore OCaml

  

• opam-repository

  1 2 0.0 Shell

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

opam 2.2's release cycle has fallen a bit behind the compiler's (actually because of the Windows support). It's an experimental branch, but this works with opam-repository-mingw to get a vanilla mingw-w64 build of OCaml 5.0.0:

opam switch create 5.0 --repos=dra27=git+https://github.com/dra27/opam-repository#windows-compilers --packages=ocaml.5.0.0,ocaml-option-mingw

• ocaml5-tutorial

  3 193 4.1 OCaml

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

  

• rescript-webapi

  2 140 5.1 ReScript

  ReScript bindings to the DOM and other Web APIs

  

This will search in the current directory tree for all files that contain the code pattern 'foo(x, y)' and replace it with 'foo(x)', using Scala syntax rules. It's super convenient for doing large-scale codemods. E.g. https://github.com/tinymce/rescript-webapi/pull/40

• reagents

  2 126 4.4 OCaml

  Reagents for multicore OCaml

  

Still early days, but I had done some exploratory work in the past on Reagents, a composable lock-free library [1]. Now that OCaml 5 is released, we're reviving this work.

It's semantics is weaker than STM -- unlike STM, it doesn't provide serializability but Reagents can compile down to multi-word compare and swap operations, which can be implemented with the help of hardware transactions (when present) or efficient software implementations of it [2]. Hence, Reagent programs should be faster than STM.

[1] https://github.com/ocaml-multicore/reagents

• SaaSHub

  www.saashub.com sponsored

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

  

Suggest a related project