Our great sponsors
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.
MirageOS is a library operating system that constructs unikernels
Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
The core OCaml system: compilers, runtime system, base libraries
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Unison file synchronizer (by bcpierce00)
cross-platform multi-network p2p daemon
A toolkit for embedding VPN capabilities in your application
Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
Haxe - The Cross-Platform Toolkit
A static analyzer for Java, C, C++, and Objective-C
An OCaml kernel for Jupyter (IPython) notebook
Empowering everyone to build reliable and efficient software.
Yup. Rust was originally written in OCaml
Effects-based direct-style IO for multicore OCaml
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
A hands-on tutorial on the new parallelism features in OCaml 5
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 for multicore OCaml
Still early days, but I had done some exploratory work in the past on Reagents, a composable lock-free library . 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 . Hence, Reagent programs should be faster than STM.
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
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
It takes a PhD to develop that
6 projects | reddit.com/r/programming | 4 Oct 2021
Write Rust lints without forking Clippy
3 projects | reddit.com/r/rust | 20 May 2021