Alternatives and similar repositories for eff.lua

Users that are interested in eff.lua are comparing it to the libraries listed below

• ymyzk / lambda-dti
  Interpreter of the ITGL with dynamic type inference
  ☆21Updated 11 months ago
• janestreet / sexp_pretty
  S-expression pretty-printer
  ☆22Updated 3 weeks ago
• m4b / raml
  OCaml runtime and FFI bindings directly in Rust
  ☆78Updated 8 years ago
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆19Updated last year
• andreypopp / type-systems
  Playing with type systems
  ☆51Updated last year
• ushitora-anqou / aqaml
  Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.
  ☆57Updated 6 years ago
• Nymphium / ruff
  ONE-SHOT Algebraic Effects for Ruby!
  ☆24Updated this week
• smorimoto / coq-to-ocaml-to-js
  Proof of concept to generate safe and fast JavaScript
  ☆24Updated 3 years ago
• janestreet / ppx_sexp_conv
  Generation of S-expression conversion functions from type definitions
  ☆94Updated 3 weeks ago
• osa1 / mincaml
  A MinCaml compiler implemented in Rust
  ☆44Updated 2 years ago
• kavon / sml-language-server
  an SML language server that uses SML/NJ's "visible compiler" feature
  ☆24Updated 8 years ago
• ocaml-ppx / ppx_import
  Less redundancy in type declarations and signatures
  ☆92Updated 3 months ago
• LPTK / simpler-sub
  Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…
  ☆27Updated 3 years ago
• coord-e / mlml
  self-hosted compiler for a subset of OCaml
  ☆51Updated 6 years ago
• Ekdohibs / joujou
  A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …
  ☆91Updated 7 years ago
• whitequark / ocaml-m17n
  Multilingualization for the OCaml source code
  ☆49Updated 6 years ago
• SomewhatML / match-compile
  A small example of a source->source pattern matching to decision tree compiler
  ☆14Updated 5 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆24Updated 3 years ago
• janestreet / stdio
  Standard IO Library for OCaml
  ☆40Updated 3 weeks ago
• derdon / menhir-example
  This is OCaml code which uses the libraries menhir (http://cristal.inria.fr/~fpottier/menhir/) and the Batteries (http://batteries.forge.…
  ☆51Updated 6 years ago
• ikko-lang / ikko
  Ikko language
  ☆26Updated 5 years ago
• maekawatoshiki / rcaml
  rcaml is an OCaml implementation in Rust
  ☆63Updated 8 years ago
• exists-forall / nickel
  A safe and efficient target language for functional compilers
  ☆20Updated 7 years ago
• ocaml-community / easy-format
  Pretty-printing library for OCaml
  ☆43Updated 3 years ago
• zinid / delimcc
  Delimited continuations in byte-code and native OCaml
  ☆27Updated 5 years ago
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆48Updated last year
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆33Updated 9 months ago
• protz / mezzo
  The language of the future!
  ☆72Updated 2 years ago
• bydriv / mhc
  Minimal Haskell Compiler
  ☆63Updated 7 years ago
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆92Updated 7 years ago