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
• 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
• janestreet / sexp_pretty
  S-expression pretty-printer
  ☆22Updated 3 weeks ago
• smorimoto / coq-to-ocaml-to-js
  Proof of concept to generate safe and fast JavaScript
  ☆24Updated 3 years ago
• ushitora-anqou / aqaml
  Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.
  ☆57Updated 6 years ago
• whitequark / ocaml-m17n
  Multilingualization for the OCaml source code
  ☆49Updated 6 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
• janestreet / stdio
  Standard IO Library for OCaml
  ☆40Updated 3 weeks ago
• Nymphium / ruff
  ONE-SHOT Algebraic Effects for Ruby!
  ☆24Updated this week
• 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
• andreypopp / type-systems
  Playing with type systems
  ☆51Updated last year
• osa1 / mincaml
  A MinCaml compiler implemented in Rust
  ☆44Updated 2 years ago
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆48Updated last year
• janestreet / ppx_sexp_conv
  Generation of S-expression conversion functions from type definitions
  ☆94Updated 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
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆24Updated 3 years ago
• ocaml-community / zed
  Abstract engine for text edition in OCaml
  ☆123Updated 7 months ago
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆92Updated 7 years ago
• remixlabs / wasicaml
  Translate OCaml bytecode to WebAssembly
  ☆132Updated last year
• bydriv / mhc
  Minimal Haskell Compiler
  ☆63Updated 7 years ago
• SomewhatML / match-compile
  A small example of a source->source pattern matching to decision tree compiler
  ☆14Updated 5 years ago
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆85Updated this week
• OhadRau / Quartz
  The official compiler for the Quartz programming language
  ☆29Updated 7 years ago
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆50Updated last year
• janestreet / higher_kinded
  A library with an encoding of higher kinded types in OCaml
  ☆43Updated 3 weeks ago
• nikomatsakis / bidir-type-infer
  Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust
  ☆46Updated 9 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
• mmottl / pcre-ocaml
  OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
  ☆35Updated last month