OCaml 5.0 Multicore is out

1. rocq

   1 88 5,097 10.0 OCaml

   The Rocq Prover is an interactive theorem prover, or proof assistant. 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.

   

2. InfluxDB

   www.influxdata.com featured

   InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

   

3. mirage

   2 33 2,663 8.8 OCaml

   MirageOS is a library operating system that constructs unikernels

   

4. ocaml

   3 129 5,782 9.9 OCaml

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

   

5. semgrep

   4 82 11,593 9.9 OCaml

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

   

6. unison

   5 28 4,557 8.9 OCaml

   Unison file synchronizer (by bcpierce00)

   

7. mldonkey

   6 1 280 8.0 OCaml

   cross-platform multi-network p2p daemon (previously at http://mldonkey.sourceforge.net/)

   

8. vpnkit

   7 4 1,148 4.4 OCaml

   A toolkit for embedding VPN capabilities in your application

   

9. SaaSHub

   www.saashub.com featured

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

   

10. reason

    8 53 10,227 8.7 OCaml

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

    

11. haxe

    9 87 6,434 9.8 Haxe

    Haxe - The Cross-Platform Toolkit

    

12. infer

    10 42 15,201 9.9 OCaml

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

    

13. ocaml-jupyter

    11 3 295 4.7 OCaml

    An OCaml kernel for Jupyter (IPython) notebook

    

14. rust

    12 2,825 103,446 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...

15. eioio

    13 25 608 7.8 OCaml

    Effects-based direct-style IO for multicore OCaml

    

16. opam-repository

    14 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

17. ocaml5-tutorial

    15 3 205 4.1 OCaml

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

    

18. rescript-webapi

    16 3 154 6.7 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

19. reagents

    17 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

20. SaaSHub

    www.saashub.com featured

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

    

Suggest a related project