Reagents Alternatives

Similar projects and alternatives to reagents

rust

2,681 92,831 10.0 Rust reagents VS rust

Empowering everyone to build reliable and efficient software.
ocaml

119 5,156 9.9 OCaml reagents 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 reagents 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 reagents VS haxe

Haxe - The Cross-Platform Toolkit
semgrep

74 9,688 9.9 OCaml reagents 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 reagents VS reason

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

42 14,693 9.9 OCaml reagents 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,425 8.7 OCaml reagents VS mirage

MirageOS is a library operating system that constructs unikernels
unison

27 3,726 8.5 OCaml reagents VS unison

Unison file synchronizer (by bcpierce00)
eioio

25 517 9.1 OCaml reagents VS eioio

Effects-based direct-style IO for multicore OCaml
vpnkit

4 1,079 0.6 OCaml reagents VS vpnkit

A toolkit for embedding VPN capabilities in your application
ocaml-jupyter

3 281 4.7 OCaml reagents VS ocaml-jupyter

An OCaml kernel for Jupyter (IPython) notebook
ocaml5-tutorial

3 193 4.1 OCaml reagents VS ocaml5-tutorial

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

2 140 5.1 ReScript reagents VS rescript-webapi

ReScript bindings to the DOM and other Web APIs
mldonkey

1 227 0.0 OCaml reagents VS mldonkey

cross-platform multi-network p2p daemon
opam-repository

1 2 0.0 Shell reagents 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

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better reagents alternative or higher similarity.

Suggest an alternative to reagents

reagents reviews and mentions

Posts with mentions or reviews of reagents. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-12-16.

Transputer.net
1 project | news.ycombinator.com | 7 Jan 2024

The 1978 paper proposes a reasonable set of primitives and then walks through prose examples with them. The book proposes roughly the same primitives (channels are the big change, but stop is barely in the paper) and describes them in a formal notation for state machines. It's the difference between a sketch of a plausible idea and writing down the mathematics.
Related though much later, ocaml https://github.com/ocaml-multicore/reagents observed that the send/recv primitives make less sense than a swap primitive. Between occam and the current ocaml effort, concurrent ML is the same sort of model with the details really well thought through (e.g. a thread executing stop gets garbage collected).
OCaml 5.0 Multicore is out
19 projects | news.ycombinator.com | 16 Dec 2022

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