Alternatives and similar repositories for mt:

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

• vrnithinkumar / ETC
  ETC
  ☆17Updated 3 years ago
• SimonJF / mbcheck
  Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"
  ☆14Updated last week
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆14Updated 5 years ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆16Updated 9 months ago
• amutake / actario
  Verification Framework for Actor Systems on Coq
  ☆29Updated 6 years 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
• id3as / purescript-erl-pinto
  An opinionated OTP framework wrapper
  ☆26Updated 2 months 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 3 years ago
• purerl / purescript-erl-cowboy
  Bindings to Cowboy server
  ☆12Updated last year
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆31Updated 5 years ago
• pnwamk / sst-tutorial
  ☆16Updated 3 years ago
• eayus / sirdi
  Package manager for Idris
  ☆35Updated 2 years ago
• elpinal / seqmod
  Full implementation of F-ing Modules, with the power of sequent calculus
  ☆20Updated 4 years ago
• lindenbaum / hinterface
  Haskell / Erlang interoperability library
  ☆29Updated 2 years ago
• michallepicki / tibe
  Ahnfelt's Type Inference by Example but implemented in Gleam
  ☆12Updated last year
• michallepicki / suber
  Algebraic Subtyping typechecking algorithms implemented in Erlang
  ☆11Updated 3 years ago
• elpinal / modules
  Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules
  ☆31Updated 2 years ago
• Szetty / erlang-ffi
  Communicate with Erlang node from Haskell
  ☆12Updated 4 years ago
• storm-framework / storm
  Static security for database-backed Haskell applications using Liquid Haskell
  ☆18Updated 10 months ago
• id3as / demo-ps
  Skeleton app with contrived client/server examples
  ☆20Updated 2 years ago
• gfngfn / game_tianjiupai
  A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm
  ☆15Updated last year
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆81Updated last month
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 8 months ago
• eashanhatti / konna
  ☆16Updated 2 years ago
• jameshaydon / idris-elixir
  A code-generator for Idris that targets Elixir
  ☆63Updated 7 years ago
• elpinal / modules-rs
  An interpreter of F-ing modules
  ☆18Updated 5 years ago
• chiroptical / snail
  A programming language for gastropods
  ☆12Updated 9 months ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆61Updated last year