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. Learn more →
Top 23 OCaml Ocaml Projects
-
-
Python now has an optional type system and if you add one of them such as mypy or pyre to your CI process and you can configure GitHub to refuse the pull request until types are added you can make it somewhat strongly typed.
If you have a preexisting codebase I believe the way you can convert it is to add the types that you know on commits and eventually you will have enough types that adding the missing ones should be easy. For the missing ones Any is a good choice.
https://pyre-check.org and https://github.com/python/mypy are popular.
-
SonarQube
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.
-
Project mention: How do you get google drive working on Ubuntu WITHOUT SNAPD! | reddit.com/r/Ubuntu | 2023-01-05
-
I believe that u/octachron is interested in getting help refactoring the error-reporting logic in the compiler to produce more structured formats (typically JSON). There is an old PR from him about it, https://github.com/ocaml/ocaml/pull/9979 , and we want to revive it but maybe do things slightly different. If that sounds like something you would be interested in, you could just send him an email or pm.
-
OCaml MirageOS? https://mirage.io/
-
Project mention: Any standard algorithms for parsing (disassembling) machine code? | reddit.com/r/compsci | 2022-05-13
BAP (https://github.com/binaryanalysisplatform/bap), angr (https://angr.io/) and others already do what you're asking for as more purpose-built solutions for dynamic analysis. Angr specifically in python.
-
mina
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security. (by MinaProtocol)
-
InfluxDB
Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.
-
Project mention: Merlin: Context sensitive completion for OCaml in Vim and Emacs | reddit.com/r/ocaml | 2022-05-07
-
-
opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Project mention: Some Pain Point of Linux From a Long-time Windows User | reddit.com/r/pop_os | 2022-12-29Regarding toolchain managers, those developing software with Rust would use rustup, OCaml developers would use opam, Haskell GHCup, and Python with pyenv. Likwise, Rust already uses cargo for package management, Python can use pip and venv, cabal for Haskell, and opam still for OCaml.
-
> you might want to check out OCaml for general purpose programming
Any tips on backend frameworks to look at? I need to write a small websocket service for a side-project and have always wanted to try OCaml. I came across https://github.com/aantron/dream.
-
https://github.com/gfngfn/SATySFi
SATySFi (pronounced in the same way as the verb “satisfy” in English) is a new typesetting system equipped with a statically-typed, functional programming language. It consists mainly of two “layers” ― the text layer and the program layer. The former is for writing documents in LaTeX-like syntax. The latter, which has OCaml-like syntax, is for defining functions and commands. SATySFi enables you to write documents markuped with flexible commands of your own making. In addition, its informative type error reporting will be a good help to your writing.
The main problem is that a lot of the documentation is in japanese.
-
caramel
:candy: a functional language for building type-safe, scalable, and maintainable applications
-
In reality, most folks that developed BuckleScript frontends with ReasonML switched to ReScript syntax and are happy with it. Some felt more friction because of their reliance on PPXes or FP-heavy libraries (like Relude) and those people tend to use the Melange fork of BuckleScript or they switched to js_of_ocaml.
-
-
We (a small company creating specialized inventory management and e-commerce systems) use Dream for web development. Webmachine and Cohttp for creating RESTful APIs. HTTP-clients with Ocurl and Cohttp. We are very happy with our choice of technologies.
-
Here is link number 1 - Previous text "Lwt"
-
Project mention: Anyone have suggestions on how to parse recursive grammar elements with a parser generator? | reddit.com/r/ProgrammingLanguages | 2022-03-28
Looking at the angstrom reference here I've explored a few ideas but none of them work.
-
-
-
ocaml-containers
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
YMMV. Există extensii: Base, Containers. Pentru I/O ai Lwt sau Async.
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
NOTE:
The open source projects on this list are ordered by number of github stars.
The number of mentions indicates repo mentiontions in the last 12 Months or
since we started tracking (Dec 2020).
The latest post mention was on 2023-01-21.
OCaml Ocaml related posts
- Is running OpenBSD inside a QUBE as a router/firewall an interesting and good idea?
- How do I start contributing to OCaml?
- GitHub - geoffder/dometyl-keyboard: A parametric generator for designing split, concave, ergonomic keyboards written in ocaml. (Not the author but thought it was worth sharing here)
- Recently improved Dometyl generator, now with usage guide
- old languages compilers
- What are the biggest reasons newcomers give up on OCaml?
- Is there any 5x3+3 dactyl manuform? (except skelety)
-
A note from our sponsor - SonarQube
www.sonarqube.org | 28 Jan 2023
Index
What are some of the best open-source Ocaml projects in OCaml? This list will help you:
| Project | Stars | |
|---|---|---|
| 1 | reason | 9,789 |
| 2 | pyre-check | 6,208 |
| 3 | google-drive-ocamlfuse | 4,868 |
| 4 | ocaml | 4,245 |
| 5 | mirage | 2,062 |
| 6 | bap | 1,766 |
| 7 | mina | 1,630 |
| 8 | merlin | 1,452 |
| 9 | dune | 1,302 |
| 10 | opam | 1,045 |
| 11 | dream | 1,018 |
| 12 | SATySFi | 995 |
| 13 | caramel | 983 |
| 14 | js_of_ocaml | 813 |
| 15 | ocaml-multicore | 754 |
| 16 | ocaml-cohttp | 604 |
| 17 | lwt | 602 |
| 18 | angstrom | 544 |
| 19 | httpaf | 519 |
| 20 | ocamlformat | 508 |
| 21 | ocaml-containers | 428 |
| 22 | vult | 377 |
| 23 | ocaml-torch | 372 |
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com