f-ing-modules

There are 2 repositories under f-ing-modules topic.

• gfngfn / Sesterl

  An ML-like statically-typed Erlang

  erlangprocess-calculusactor-modeltype-systemocamlmonadconcurrent-programmingf-ing-modulesmodule-systemstatically-typedprogramming-languagesesterl
  Language:OCaml 150

• elpinal / bright-ml

  A statically-typed programming language based on "F-ing modules"

  f-ing-modules
  Language:Standard ML 79

• elpinal / modules

  Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules

  f-ing-modules1ml
  Language:Haskell 27

• elpinal / seqmod

  Full implementation of F-ing Modules, with the power of sequent calculus

  f-ing-modules
  Language:Standard ML 20

• elpinal / modules-rs

  An interpreter of F-ing modules

  f-ing-modules
  Language:Rust 18