nachivpn / mtLinks
Master thesis on developing a static type checker for Erlang
☆27Updated 6 years ago
Alternatives and similar repositories for mt
Users that are interested in mt are comparing it to the libraries listed below
Sorting:
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆17Updated last month
- A TOML parser for Idris 2☆17Updated last year
- ETC☆16Updated 4 years ago
- Verification Framework for Actor Systems on Coq☆29Updated 7 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- Erlang source code parser written in Rust☆10Updated 3 years ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆10Updated 3 years ago
- A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm☆16Updated last year
- ☆17Updated 3 years ago
- ☆19Updated 3 months ago
- Supervised Session Actors☆22Updated 9 years ago
- Erlang language server☆24Updated last month
- Interpreter of the ITGL with dynamic type inference☆21Updated 6 months ago
- N2O: Application Server☆12Updated 2 years ago
- Bidirectional type checker for the simply typed lambda calculus☆15Updated 5 years ago
- ☆10Updated 2 weeks ago
- Erlang code generator for Idris 2☆142Updated last year
- A lightweight erlang runtime☆21Updated 4 years ago
- Proof of concept to generate safe and fast JavaScript☆24Updated 3 years ago
- Package manager for Idris☆37Updated 3 years ago
- Session types in Idris2!☆27Updated 4 years ago
- Delimited continuations in byte-code and native OCaml☆27Updated 4 years ago
- Fωμ type checker and compiler☆54Updated 2 years ago
- An opinionated OTP framework wrapper☆26Updated 7 months ago
- Haskell implementation and Coq proof for an implicit polymorphic gradual type system.☆16Updated 5 years ago
- Communicate with Erlang node from Haskell☆13Updated 4 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)☆53Updated 3 months ago
- OCaml Bitstring - bitstring matching for OCaml☆66Updated 2 weeks ago
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Updated 4 years ago