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. Learn more →
Top 7 OCaml programming-language Projects
-
Why not use https://reasonml.github.io/ instead? Or just use Typescript?
-
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
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.
-
Project mention: Catala – Programming language for literate programming law specification | news.ycombinator.com | 2023-02-10
-
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
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 -
-
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
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.
OCaml programming-language related posts
- VN Compiler. Why using Fable is too difficult. (Pt. 1)
- My Thoughts on OCaml
- The Io Language
- ReasonML concurrency
- Catala – Programming language for literate programming law specification
- Code source du calcul de la taxe foncière
- Looking for a language to visualize logic relationships
-
A note from our sponsor - SonarLint
www.sonarlint.org | 6 Jun 2023
Index
What are some of the best open-source programming-language projects in OCaml? This list will help you:
Project | Stars | |
---|---|---|
1 | reason | 9,866 |
2 | SATySFi | 1,063 |
3 | catala | 976 |
4 | bamboo | 318 |
5 | RustScript2 | 31 |
6 | prowl | 24 |
7 | schmu | 20 |