leostera/caramel

OCamlcaramel.run

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

ocamlerlangcompilercaramelelixirfunctional-languagetype-safe

Kennzahlen

Sterne-Wachstum

Sterne

1.1k

Forks

Wochenwachstum

—

Issues

5001k

Sept. 2020Aug. 2021Aug. 2022Aug. 2023Aug. 2024Juli 2025Juli 2026

README

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

Ähnliche Repositories

hmemcpy/milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

TeXOtherhaskellcategory-theory

bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/

11.7k644

reasonml/reason

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

OCamlMIT Licenseocamljavascript

reasonml.github.io

10.3k435

lk-geimfari/awesomo

Cool open source projects. Choose your project and get involved in Open Source development now.

GoGo ModulesCreative Commons Zero v1.0 Universalawesomeocaml

9.9k689

revery-ui/revery

:zap: Native, high-performance, cross-platform desktop apps - built with Reason!

ReasonMIT Licensereasonreasonml

outrunlabs.com/revery/

8k196

onivim/oni2

Native, lightweight modal code editor

ReasonMIT Licenseonieditor

v2.onivim.io

7.8k279

facebook/pyre-check

Performant type-checking for python.

OCamlMIT Licensepythontypechecker

pyre-check.org

7.2k452

ocaml/ocaml

The core OCaml system: compilers, runtime system, base libraries

OCamlOtherocamlcompiler

ocaml.org

6.5k1.3k

astrada/google-drive-ocamlfuse

FUSE filesystem over Google Drive

OCamlMIT Licensegoogle-driveocaml

astrada.github.io/google-drive-ocamlfuse/

5.9k367

extism/extism

The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible apps.

Rustcrates.ioBSD 3-Clause "New" or "Revised" Licenseplugin-systemc

extism.org

5.7k165

viebel/klipse

Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.

HTMLGNU General Public License v3.0clojureclojurescript

blog.klipse.tech

3.1k150

ocaml-community/awesome-ocaml

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

ocamlawesome

3.1k176

FStarLang/FStar

A Proof-oriented Programming Language

F*Apache License 2.0programming-languageverification

fstar-lang.org

3.1k258