GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → AbstractMachinesLab → Caramel

AbstractMachinesLab / Caramel

Licence: apache-2.0
🍬 a functional language for building type-safe, scalable, and maintainable applications

Programming Languages

elixir
2628 projects
erlang
1774 projects
ocaml
1615 projects

Labels

compilertype-safe

Projects that are alternatives of or similar to Caramel

Cakeml
CakeML: A Verified Implementation of ML
Stars: ✭ 651 (-13.89%)
Mutual labels:  compiler
Tiramisu
A polyhedral compiler for expressing fast and portable data parallel algorithms
Stars: ✭ 685 (-9.39%)
Mutual labels:  compiler
Open C Book
开源书籍:《C语言编程透视》，配套视频课程《360° 剖析 Linux ELF》已上线，视频讲解更为系统和深入，欢迎订阅：https://www.cctalk.com/m/group/88089283
Stars: ✭ 715 (-5.42%)
Mutual labels:  compiler
Amacc
Small C Compiler generating ELF executable Arm architecture, supporting JIT execution
Stars: ✭ 661 (-12.57%)
Mutual labels:  compiler
Esper
Esper Complex Event Processing, Streaming SQL and Event Series Analysis
Stars: ✭ 680 (-10.05%)
Mutual labels:  compiler
Jscl
A Lisp-to-Javascript compiler bootstrapped from Common Lisp
Stars: ✭ 688 (-8.99%)
Mutual labels:  compiler
Llvmswift
A Swift wrapper for the LLVM C API (version 9.0.1)
Stars: ✭ 641 (-15.21%)
Mutual labels:  compiler
Tl
The compiler for Teal, a typed dialect of Lua
Stars: ✭ 716 (-5.29%)
Mutual labels:  compiler
Mlton
The MLton repository
Stars: ✭ 683 (-9.66%)
Mutual labels:  compiler
Csharp.lua
The C# to Lua compiler
Stars: ✭ 712 (-5.82%)
Mutual labels:  compiler
Rustc codegen cranelift
Cranelift based backend for rustc
Stars: ✭ 675 (-10.71%)
Mutual labels:  compiler
Tiny Compiler
A tiny evaluator and compiler of arithmetic expressions.
Stars: ✭ 680 (-10.05%)
Mutual labels:  compiler
Marked
A markdown parser and compiler. Built for speed.
Stars: ✭ 26,556 (+3412.7%)
Mutual labels:  compiler
Gocaml
🐫 Practical statically typed functional programming language implementation with Go and LLVM
Stars: ✭ 653 (-13.62%)
Mutual labels:  compiler
Ring
Innovative and practical general-purpose multi-paradigm language
Stars: ✭ 716 (-5.29%)
Mutual labels:  compiler
Js of ocaml
Compiler from OCaml to Javascript.
Stars: ✭ 643 (-14.95%)
Mutual labels:  compiler
Constexpr 8cc
Compile-time C Compiler implemented as C++14 constant expressions
Stars: ✭ 687 (-9.13%)
Mutual labels:  compiler
Vtil Core
Virtual-machine Translation Intermediate Language
Stars: ✭ 738 (-2.38%)
Mutual labels:  compiler
Bic
A C interpreter and API explorer.
Stars: ✭ 719 (-4.89%)
Mutual labels:  compiler
Inc
an incremental approach to compiler construction
Stars: ✭ 702 (-7.14%)
Mutual labels:  compiler
View All Similar Projects ➔

🍬 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-inferece, 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.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].