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 2 weeks ago
• vrnithinkumar / ETC
  ETC
  ☆17Updated 3 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
• amutake / actario
  Verification Framework for Actor Systems on Coq
  ☆29Updated 6 years ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆14Updated 5 years ago
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆31Updated 6 years ago
• michallepicki / tibe
  Ahnfelt's Type Inference by Example but implemented in Gleam
  ☆12Updated last year
• yudaitnb / vl
  PWV Functional Language
  ☆13Updated last year
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated 11 months ago
• eayus / sirdi
  Package manager for Idris
  ☆35Updated 2 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• phase / dtt
  dependent type theory experiment
  ☆26Updated last year
• xnning / MpEff
  Efficient effect handlers based on Evidence Passing Semantics.
  ☆30Updated 4 years ago
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated 10 months ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 8 months ago
• gfngfn / game_tianjiupai
  A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm
  ☆16Updated last year
• shin-sakata / Citrous
  Easy, Fast and Type-Safe Web Application Framework
  ☆32Updated 5 years ago
• thery / hanoi
  Hanoi tower in Coq
  ☆26Updated 2 weeks ago
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated last year
• mb64 / poly
  A WIP compiler for a functional language. Very incomplete!
  ☆16Updated 3 years ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• id3as / purescript-erl-pinto
  An opinionated OTP framework wrapper
  ☆26Updated 4 months ago
• elpinal / seqmod
  Full implementation of F-ing Modules, with the power of sequent calculus
  ☆20Updated 4 years ago
• expede / rescue
  🚒✨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)
  ☆20Updated 3 years ago
• o89 / n2o
  N2O: Application Server
  ☆12Updated 2 years ago
• idris-community / inigo
  Inigo: A Package Manager for Idris2
  ☆61Updated 2 years ago
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆61Updated last year
• FreeProving / free-compiler
  A Haskell to Coq compiler that represents effectful programs with the free monad
  ☆45Updated 3 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 4 months ago
• QuinnWilton / gleam_logic
  Logic programming with µKanren
  ☆11Updated 4 years ago