leostera/caramel

---

leostera/caramel.json

{
  "createdAt": "2020-09-03T07:50:24Z",
  "defaultBranch": "main",
  "description": ":candy: a functional language for building type-safe, scalable, and maintainable applications",
  "fullName": "leostera/caramel",
  "homepage": "https://caramel.run",
  "language": "OCaml",
  "name": "caramel",
  "pushedAt": "2023-09-25T16:43:49Z",
  "stargazersCount": 1096,
  "topics": [
    "caramel",
    "compiler",
    "elixir",
    "erlang",
    "functional-language",
    "ocaml",
    "type-safe"
  ],
  "updatedAt": "2025-11-23T17:03:42Z",
  "url": "https://github.com/leostera/caramel"
}

:candy: Caramel

Caramel is a functional language for building type-safe, scalable, and maintainable applications.

Caramel leverages:

• the OCaml compiler, to provide you with a pragmatic type system and industrial-strength type safety.

• the Erlang VM, known for running low-latency, distributed, and fault-tolerant systems used in a wide range of industries.

Learn more at caramel.run

Feature Highlights

• Excellent type inference, so you never need to annotate your code
• Zero-cost type-safe interop with most existing Erlang and Elixir code
• Has a reviewed standard library included
• Supports sources in OCaml (and soon Reason syntax too)
• Ships a single executable (caramel)
• Has a built-in formatter (caramel fmt)

Install

You can download the latest Caramel release from the releases page.