nachivpn / mt
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
- ETC☆17Updated 3 years ago
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆15Updated last month
- Prototype for https://github.com/Innf107/vega☆19Updated 9 months ago
- N2O: Application Server☆12Updated 2 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- A TOML parser for Idris 2☆17Updated 10 months ago
- A WIP compiler for a functional language. Very incomplete!☆16Updated 3 years ago
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 5 years ago
- A simple example of integrating TypeScript and Haskell.☆13Updated 3 years ago
- ☆14Updated 2 weeks ago
- Package manager for Idris☆35Updated 2 years ago
- 🧊 Типізоване -גчислення☆16Updated last year
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆31Updated 2 years ago
- Source code for haskle.net☆30Updated last year
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆43Updated 5 years ago
- A simple functional programming language.☆21Updated 3 years ago
- Verification Framework for Actor Systems on Coq☆29Updated 6 years ago
- Hanoi tower in Coq☆25Updated 4 months ago
- 🚒✨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)☆20Updated 3 years ago
- Notes on Functional Programming and related topics☆29Updated 2 years ago
- 🪆 A Staged Type Theory☆35Updated last year
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 3 months ago
- Efficient effect handlers based on Evidence Passing Semantics.☆28Updated 4 years ago
- Example row-polymorphism implementations☆61Updated last year
- Haskell bindings to Chez Scheme☆10Updated last year
- An interpreter of F-ing modules☆19Updated 5 years ago
- An opinionated OTP framework wrapper☆26Updated 3 months ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆10Updated 11 months ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated 2 years ago
- todo and unimplemented, robustly implemented☆33Updated 7 months ago