Voltar ao ranking

leostera/caramel

OCamlcaramel.run

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

ocamlerlangcompilercaramelelixirfunctional-languagetype-safe
Crescimento de estrelas
Estrelas
1.1k
Forks
25
Crescimento semanal
Issues
21
5001k
set. de 2020ago. de 2022ago. de 2024jul. de 2026
README

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

Repositórios relacionados
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.7k645
reasonml/reason

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

OCamlMIT Licenseocamljavascript
reasonml.github.io
10.3k438
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.9k690
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.2k453
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/
6k369
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