merle-lang / luml
Luml is a type-inferred ML-style language that cross-compiles to Lua
☆16Updated 6 years ago
Alternatives and similar repositories for luml:
Users that are interested in luml are comparing it to the libraries listed below
- Erlang port of the Shen programming language☆26Updated 5 years ago
- A functional programming language with lisp syntax and ML semantics that runs on the BEAM☆46Updated 3 years ago
- Erlang to Scheme compiler☆36Updated 12 years ago
- Erlang External Term Format for OCaml☆29Updated last year
- An opinionated OTP framework wrapper☆26Updated 3 weeks ago
- Exercism exercises in Lisp Flavoured Erlang (LFE).☆25Updated 3 weeks ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆11Updated 3 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 8 years ago
- rebar3 plugin for compiling alpaca modules☆11Updated 4 years ago
- S-expression swiss knife☆44Updated 2 months ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 13 years ago
- Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.☆58Updated 5 years ago
- Erlang flavored by Some ML☆36Updated 13 years ago
- Run an OCaml program as an erlang node☆29Updated 8 years ago
- Scheme implementation suitable for microcontrollers☆8Updated 9 years ago
- Haskell subset compiled to the Beam machine.☆42Updated 10 years ago
- Arbitrary-precision decimal based on Zarith☆19Updated 3 months ago
- ☆12Updated 3 months ago
- A lightweight erlang runtime☆21Updated 4 years ago
- A simple OCaml library for writing Erlang port drivers☆43Updated 4 years ago
- (unreleased) Data validation with first-class and first-order labels in OCaml☆30Updated 6 years ago
- Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.☆23Updated 9 years ago
- Owl's Parallel & Distributed Computing Engine☆30Updated 6 years ago
- MPP: a meta preprocessor that blends programming languages☆32Updated last year
- ☆21Updated 4 years ago
- Delimited continuations in byte-code and native OCaml☆27Updated 4 years ago
- Optional types for Prolog☆16Updated 5 years ago
- miniKanren in OCaml☆31Updated last year
- Haskell / Erlang interoperability library☆29Updated 2 years ago
- A server, client and UI for remotely debugging Racket applications.☆19Updated 8 months ago