Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/leostera/caramel

:candy: a functional language for building type-safe, scalable, and maintainable applications
https://github.com/leostera/caramel

caramel compiler elixir erlang functional-language ocaml type-safe

Last synced: 11 days ago
JSON representation

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

Awesome Lists containing this project

README

        

# :candy: Caramel

![CI](https://github.com/AbstractMachinesLab/caramel/workflows/CI/badge.svg)
![docs](https://github.com/AbstractMachinesLab/caramel/workflows/docs/badge.svg)

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](https://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](https://github.com/AbstractMachinesLab/caramel/releases).