Nymphium / eff.lua

Related projects ⓘ

Alternatives and complementary repositories for eff.lua

• janestreet / sexp_pretty
  S-expression pretty-printer
  ☆22Updated 2 months ago
• ymyzk / lambda-dti
  Interpreter of the ITGL with dynamic type inference
  ☆21Updated last month
• kavon / sml-language-server
  an SML language server that uses SML/NJ's "visible compiler" feature
  ☆25Updated 6 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆23Updated 2 years ago
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆18Updated 8 months ago
• ocaml-ppx / ppx_import
  Less redundancy in type declarations and signatures
  ☆89Updated 5 months ago
• elpinal / modules-rs
  An interpreter of F-ing modules
  ☆18Updated 5 years ago
• ushitora-anqou / aqaml
  Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.
  ☆56Updated 5 years ago
• osa1 / mincaml
  A MinCaml compiler implemented in Rust
  ☆41Updated last year
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆30Updated 5 years ago
• andreypopp / type-systems
  Playing with type systems
  ☆46Updated 2 years ago
• dbuenzli / uuseg
  Unicode text segmentation for OCaml
  ☆23Updated last month
• ikko-lang / ikko
  Ikko language
  ☆27Updated 4 years ago
• fir-lang / fir
  ☆26Updated this week
• Nymphium / ruff
  ONE-SHOT Algebraic Effects for Ruby!
  ☆22Updated 4 years ago
• m4b / raml
  OCaml runtime and FFI bindings directly in Rust
  ☆79Updated 7 years ago
• eashanhatti / konna
  ☆11Updated 2 years ago
• bydriv / mhc
  Minimal Haskell Compiler
  ☆63Updated 6 years 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 5 years ago
• takahisa / finale
  Invertible syntax for OCaml
  ☆30Updated 5 years ago
• xguerin / bitstring
  OCaml Bitstring - bitstring matching for OCaml
  ☆66Updated 7 months ago
• elpinal / modules
  Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules
  ☆29Updated last year
• phase / dtt
  experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust
  ☆23Updated 8 months ago
• whitequark / ocaml-m17n
  Multilingualization for the OCaml source code
  ☆51Updated 5 years ago
• janestreet / higher_kinded
  A library with an encoding of higher kinded types in OCaml
  ☆39Updated last month
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated last year
• exists-forall / nickel
  A safe and efficient target language for functional compilers
  ☆19Updated 6 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆25Updated 5 years ago
• LPTK / simpler-sub
  Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…
  ☆25Updated 2 years ago
• effect-handlers / wasm-effect-handlers
  WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
  ☆31Updated 2 years ago