leostera/caramel

🍬 a functional language for building type-safe, scalable, and maintainable applications

OCaml

1,106

644 commits

updated Sep 25, 2023

See the code

README

🍬 Caramel

CI docs

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.

caramel
compiler
elixir
erlang
functional-language
ocaml
type-safe

leostera/caramel

🍬 a functional language for building type-safe, scalable, and maintainable applications

OCaml

1,106

644 commits

updated Sep 25, 2023

See the code

README

🍬 Caramel

CI docs

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.

caramel
compiler
elixir
erlang
functional-language
ocaml
type-safe

Significant stargazers

(top 24 of 68)

Dmitrii Kovanikov

1,786 followers · starred Dec 2023

Jules Aguillon

311 followers · starred Nov 2022

Michael Davis

687 followers · starred Jun 2021

Reynir Björnsson

156 followers · starred Nov 2020