ocaml-library

Open-source projects categorized as ocaml-library
Edit details
Language: + OCaml + Prolog
Topics: Ocaml Capnproto Pretty Printer topological-order extension-language
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.
www.influxdata.com
featured

Top 6 ocaml-library Open-Source Projects

  • elpi

    Embeddable Lambda Prolog Interpreter

  • morbig

    A static parser for POSIX Shell

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

    InfluxDB logo

  • capnp-rpc

    Cap'n Proto RPC implementation

  • otoml

    TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)

  • ocaml-tsort

    Easy to use and user-friendly topological sort module for OCaml

  • ocaml-algebra

    Small but neat OCaml library of (abstract) algebraic structures

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

ocaml-library related posts

  • Prototyping a Functional Language using Higher-Order Logic Programming

    1 project | /r/ProgrammingLanguages | 2 Dec 2022

  • Are there any OS projects of any substantial size at all that have been written in λProlog?

    2 projects | /r/prolog | 30 Oct 2021

  • Soupault (soup-oh) is a tool that helps you create and manage static websites

    8 projects | news.ycombinator.com | 9 Oct 2021

  • Would a type system be superfluous in Prolog?

    1 project | /r/prolog | 2 Feb 2021

Index

What are some of the best open-source ocaml-library projects? This list will help you:

Project Stars
1 elpi 260
2 morbig 187
3 capnp-rpc 96
4 otoml 48
5 ocaml-tsort 22
6 ocaml-algebra 2

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com