Alternatives and similar repositories for mt

Users that are interested in mt are comparing it to the libraries listed below

• SimonJF / mbcheck
  Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"
  ☆15Updated last month
• vrnithinkumar / ETC
  ETC
  ☆17Updated 3 years ago
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆35Updated last year
• mb64 / poly
  A WIP compiler for a functional language. Very incomplete!
  ☆16Updated 3 years ago
• gfngfn / game_tianjiupai
  A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm
  ☆16Updated last year
• c-cube / linol
  Wrapper around the OCaml `lsp` library to make it easier to write LSP servers
  ☆34Updated 2 months ago
• lpw25 / ocaml-typed-effects
  OCaml with typed algebraic effects
  ☆50Updated 6 years ago
• elpinal / seqmod
  Full implementation of F-ing Modules, with the power of sequent calculus
  ☆20Updated 4 years ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 4 years ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆46Updated 4 months ago
• wenkokke / idris-sesh
  Session types in Idris2!
  ☆27Updated 4 years ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆14Updated 5 years ago
• xnning / MpEff
  Efficient effect handlers based on Evidence Passing Semantics.
  ☆30Updated 4 years ago
• yudaitnb / vl
  PWV Functional Language
  ☆14Updated last year
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated last year
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆31Updated 6 years ago
• o89 / n2o
  N2O: Application Server
  ☆12Updated 2 years ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated 3 weeks ago
• michallepicki / suber
  Algebraic Subtyping typechecking algorithms implemented in Erlang
  ☆11Updated 3 years ago
• andreypopp / type-systems
  Playing with type systems
  ☆51Updated 5 months ago
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated 11 months ago
• thery / hanoi
  Hanoi tower in Coq
  ☆26Updated last month
• chiroptical / snail
  A programming language for gastropods
  ☆11Updated last year
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated last year
• dmbaturin / otoml
  TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)
  ☆52Updated last month
• kwanghoon / bidi
  bidirectional type checking algorithms for higher-ranked polymorphism
  ☆19Updated 3 years ago
• Szetty / erlang-ffi
  Communicate with Erlang node from Haskell
  ☆12Updated 4 years ago
• xguerin / bitstring
  OCaml Bitstring - bitstring matching for OCaml
  ☆66Updated last year
• eayus / sirdi
  Package manager for Idris
  ☆37Updated 2 years ago
• essdotteedot / distributed
  Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.
  ☆58Updated 5 years ago