OCaml programming-language

Open-source OCaml projects categorized as programming-language

Top 7 OCaml programming-language Projects

  • reason

    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

    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

    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

    Programming language for literate programming law specification

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

    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

    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

    WIP stack language that uses regex for control flow

  • schmu

    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

    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.

OCaml programming-language related posts

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
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com