SaaSHub helps you find the best software and product alternatives Learn more →
Top 23 OCaml Ocaml Projects
-
Project mention: Learning Elm by porting a medium-sized web front end from React (2019) | news.ycombinator.com | 2024-02-29
-
Pyre is a performant type-checker developed by Facebook. Pyre can analyse codebases with millions of lines of code incrementally – providing instantaneous feedback to developers as they write code.
-
WorkOS
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.
-
I fixed the problem, it was due to the incorrect setup of the google drive. I followed this guide to set everything up from scratch and create the folder directly in Linux instead of constantly accessing the apparently "encrypted" cloud. If anyone ever runs into the same problem, I really hope this thread is helpful :D
-
You probably already know, but with OCaml 5 the only way to get flamegraphs working is to either:
* use framepointers [1]
* use LBR (but LBR has a limited depth, and may not work on on all CPUs, I'm assuming due to bugs in perf)
* implement some deep changes in how perf works to handle the 2 stacks in OCaml (I don't even know if this would be possible), or write/adapt some eBPF code to do it
OCaml 5 has a separate stack for OCaml code and C code, and although GDB can link them based on DWARF info, perf DWARF call-graphs cannot (https://github.com/ocaml/ocaml/issues/12563#issuecomment-193...)
If you need more evidence to keep it enabled in future releases, you can use OCaml 5 as an example (unfortunately there aren't many OCaml applications, so that may not carry too much weight on its own).
[1]: I haven't actually realised that Fedora39 has already enabled FP by default, nice! (I still do most of my day-to-day profiling on an ~CentOS 7 system with 'perf --call-graph dwarf', I was aware that there was a discussion to enable FP by default, but haven't noticed it has actually been done already)
-
Interesting, and thanks.
I didn't know about those. I kind of thought you may have used MirageOS, which I had read about earlier. It is done in OCaml.
-
-
mina
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security. (by MinaProtocol)
-
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.
-
-
If you are using the dune build system, add the tag(s) to your dune-project file's package stanza. E.g.:
-
-
opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
-
-
caramel
:candy: a functional language for building type-safe, scalable, and maintainable applications
Caramel is a very similar language (ML dialect) that builds for BEAM.
-
-
-
-
-
-
Project mention: Topiary: A code formatting engine leveraging Tree-sitter | news.ycombinator.com | 2023-05-20
It's ironic that just as the excellent https://github.com/ocaml-ppx/ocamlformat is seemingly closing in on 1.0 after ~4 years of development, here comes the implication that it's not good enough.
-
-
For 5.0+ you might want to look at https://github.com/ocaml-multicore/eio for how effects can make async much more pleasant
-
ocaml-containers
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
OCaml Ocaml related posts
- Melange for React devs book, alpha release
- ReScript: Rust like features for JavaScript
- Tagging OCaml packages
- Ask HN: Interest in a Rust-Inspired Language Compiling to JavaScript?
- Mirage – A programming framework for building type-safe, modular systems
- OCaml: a Rust developer's first impressions
- Why Should You Learn OCaml?
-
A note from our sponsor - SaaSHub
www.saashub.com | 19 Mar 2024
Index
What are some of the best open-source Ocaml projects in OCaml? This list will help you:
Project | Stars | |
---|---|---|
1 | reason | 10,037 |
2 | pyre-check | 6,652 |
3 | google-drive-ocamlfuse | 5,332 |
4 | ocaml | 5,116 |
5 | mirage | 2,410 |
6 | bap | 1,950 |
7 | mina | 1,912 |
8 | merlin | 1,540 |
9 | dune | 1,513 |
10 | dream | 1,495 |
11 | opam | 1,175 |
12 | SATySFi | 1,143 |
13 | caramel | 1,029 |
14 | js_of_ocaml | 927 |
15 | ocaml-multicore | 763 |
16 | lwt | 677 |
17 | ocaml-cohttp | 676 |
18 | angstrom | 605 |
19 | ocamlformat | 595 |
20 | httpaf | 529 |
21 | eioio | 498 |
22 | ocaml-containers | 473 |
23 | vult | 469 |