OCaml 5.0 Multicore is out

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com

InfluxDB - 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.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
  • 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.

  • InfluxDB

    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.

    InfluxDB logo
  • mirage

    MirageOS is a library operating system that constructs unikernels

  • ocaml

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

  • semgrep

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

  • unison

    Unison file synchronizer (by bcpierce00)

  • mldonkey

    cross-platform multi-network p2p daemon

  • vpnkit

    A toolkit for embedding VPN capabilities in your application

  • SaaSHub

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

    SaaSHub logo
  • reason

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

  • haxe

    Haxe - The Cross-Platform Toolkit

  • infer

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

  • ocaml-jupyter

    An OCaml kernel for Jupyter (IPython) notebook

  • 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

    Effects-based direct-style IO for multicore OCaml

  • opam-repository

    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

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

  • rescript-webapi

    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

    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

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

    SaaSHub logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • Ask HN: Interest in a Rust-Inspired Language Compiling to JavaScript?

    5 projects | news.ycombinator.com | 24 Dec 2023
  • What is gained and lost with 63-bit integers? (2014)

    2 projects | news.ycombinator.com | 12 Aug 2023
  • Why is D's garbage collection slower than GO's?

    2 projects | news.ycombinator.com | 28 Oct 2022
  • Implementing the Perceus reference counting GC

    5 projects | dev.to | 24 Jun 2022
  • Type systems and type inference

    2 projects | dev.to | 2 Nov 2021