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: about 2 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/leostera/caramel
• Owner: leostera
• License: apache-2.0
• Created: 2020-09-03T07:50:24.000Z (almost 4 years ago)
• Default Branch: main
• Last Pushed: 2023-09-25T16:43:49.000Z (9 months ago)
• Last Synced: 2024-05-03T09:40:21.468Z (2 months ago)
• Topics: caramel, compiler, elixir, erlang, functional-language, ocaml, type-safe
• Language: OCaml
• Homepage: https://caramel.run
• Size: 14.3 MB
• Stars: 1,037
• Watchers: 25
• Forks: 24
• Open Issues: 21
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • Funding: .github/FUNDING.yml
  • License: LICENSE
  • Code of conduct: CODE_OF_CONDUCT.md

Lists

• awesome-list - caramel - safe, scalable, and maintainable applications | AbstractMachinesLab | 854 | (OCaml)
• my-awesome-stars - leostera/caramel - :candy: a functional language for building type-safe, scalable, and maintainable applications (OCaml)

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