Top 7 OCaml programming-language Projects

reason

17 9,866 8.3 OCaml

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

Project mention: VN Compiler. Why using Fable is too difficult. (Pt. 1) | /r/fsharp | 2023-05-14

Why not use https://reasonml.github.io/ instead? Or just use Typescript?
SATySFi

1 1,063 6.5 OCaml

A statically-typed, functional typesetting system

Project mention: Sile: A Modern Rewrite of TeX | news.ycombinator.com | 2022-11-03

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.
SonarLint

www.sonarlint.org
sponsored

Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.
catala

5 976 8.8 OCaml

Programming language for literate programming law specification

Project mention: Catala – Programming language for literate programming law specification | news.ycombinator.com | 2023-02-10
bamboo

1 318 10.0 OCaml

Bamboo see https://github.com/cornellblockchain/bamboo (by pirapira)

Project mention: A look into formal verification of smart contracts using Certora | dev.to | 2022-12-02

Understanding a smart contract as a finite-state machine (obligatory mention to Yoichi's bamboo, my favorite smart contract programming language that never happened) allows us to define clear rules on:
RustScript2

1 31 2.1 OCaml

RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.

Project mention: Not even rust is safe, does anyone want to join me in making rust 2? | /r/rustjerk | 2022-09-14
prowl

0 24 0.0 OCaml

WIP stack language that uses regex for control flow
schmu

2 20 0.0 OCaml

A WIP programming language inspired by ML and powered by LLVM

Project mention: November 2022 monthly "What are you working on?" thread | /r/ProgrammingLanguages | 2022-11-03

Since the last time I posted, I finished implementing pattern matching for schmu. To make matching on multiple columns less confusing I also added a tuple syntax to the language (finally), which are treated as anonymous records in codegen. Since then, I'm trying to overhaul my memory management, as my RAII-like solution only worked for linear code. In my first big departure from OCaml semantics, I decided to implement mutable value semantics. The paper linked in the Val language introduction makes a strong case for value semantics and after watching a couple of talks by Dave Abrahams, I wanted to try see how it feels. By making mutability be transitive and explicit, it also fixes one of the (few) gripes I have with OCaml that an array can never be really const as it is a reference type (it's possible to enforce constness with modules, but that's not exactly lightweight, syntax wise). Implementing mutable value semantics was pretty straight forward on the typing side, but I'm still not completely done with the codegen. This is due to 1. Assumptions about immutability I made in a lot of places are now wrong, and I had to completely change the way I pass values to functions. 2. I had to implement reference counted arrays, which was more work than I thought it would be. There are still edge-cases coming up in testing from time to time. Yesterday I finally managed it work for tail recursion, yay! I'm looking forward to getting rid of unneeded reference count updates in the future, by moving them to compile time, at least for linear code, lobster style. That's also an excuse to read that Perceus paper again. For the rest of November, I want to enhance my module system a bit. In particular, I want to add signatures and allow locally abstract types. I hope to have this in place before December to do the Advent of Code in my language.
InfluxDB

www.influxdata.com
sponsored

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.

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-05-14.