Skip to content
<awesome-gh-repos>
vic

keigoi/linocaml

Monad-based linear types in OCaml, with a few syntax extensions
Source code at GitHub https://github.com/keigoi/linocaml
keigoi/linocaml.json
{
  "createdAt": "2017-07-15T20:28:09Z",
  "defaultBranch": "master",
  "description": "Monad-based linear types in OCaml, with a few syntax extensions",
  "fullName": "keigoi/linocaml",
  "homepage": "",
  "language": "OCaml",
  "name": "linocaml",
  "pushedAt": "2019-10-21T21:04:28Z",
  "stargazersCount": 38,
  "topics": [],
  "updatedAt": "2025-11-12T15:12:11Z",
  "url": "https://github.com/keigoi/linocaml"
}

LinOCaml: Lightweight, monad-based linear types in OCaml, with a few syntax extensions

Section titled “LinOCaml: Lightweight, monad-based linear types in OCaml, with a few syntax extensions”

Paper

Section titled “Paper”

Build

Section titled “Build”
opam install dune
dune build

Examples

Section titled “Examples”

See examples/ folder. To run examples, try:

./_build/default/examples/ex_array.exe
./_build/default/examples/ex_linlist.exe
./_build/default/examples/ex_session.exe

Prerequisites

Section titled “Prerequisites”

OCaml 4.06.1 or higher. Checked with OCaml 4.07.0