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"☆18Updated 2 weeks ago
- A TOML parser for Idris 2☆17Updated last year
- ETC☆16Updated 4 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
- Interpreter of the ITGL with dynamic type inference☆21Updated 6 months ago
- Verification Framework for Actor Systems on Coq☆29Updated 7 years ago
- 🧊 Типізоване -גчислення☆16Updated 3 months ago
- A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm☆16Updated last year
- N2O: Application Server☆12Updated 2 years ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆10Updated 3 years ago
- An Erlang-specific fork of A Logical Clock for Static and Dynamic Systems☆22Updated 5 years ago
- Supervised Session Actors☆22Updated 9 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Updated 3 years ago
- Erlang code generator for Idris 2☆142Updated last year
- Package manager for Idris☆37Updated 3 years ago
- Fωμ type checker and compiler☆54Updated 2 years ago
- Proof of concept to generate safe and fast JavaScript☆24Updated 3 years ago
- ☆21Updated 4 months ago
- ☆17Updated 3 years ago
- ☆10Updated this week
- Communicate with Erlang node from Haskell☆13Updated 4 years ago
- A Rust implementation of the Lean kernel☆11Updated 2 years ago
- An ML-like statically-typed Erlang☆154Updated last year
- Static security for database-backed Haskell applications using Liquid Haskell☆18Updated last year
- A pure type system implemented in OCaml☆78Updated 4 years ago
- My PhD Thesis☆15Updated 3 years ago
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- An opinionated OTP framework wrapper☆26Updated 7 months ago
- Ordo: A minimalist language with row polymorphism☆85Updated 5 months ago