amutake / actarioLinks
Verification Framework for Actor Systems on Coq
☆29Updated 7 years ago
Alternatives and similar repositories for actario
Users that are interested in actario are comparing it to the libraries listed below
Sorting:
- [WIP] Faster Implementation of Dialyzer☆56Updated last year
- Supervised Session Actors☆22Updated 9 years ago
- A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.☆100Updated 10 years ago
- [WIP] A utility library for parsing BEAM format(and Erlang External Term Format, etc) which is written in OCaml.☆16Updated 6 years ago
- A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm☆16Updated last year
- ☆54Updated 12 years ago
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Updated 4 years ago
- Multiparty Session Types in OCaml☆59Updated 10 months ago
- An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml☆14Updated 4 years ago
- OCaml Bitstring - bitstring matching for OCaml☆66Updated 2 weeks ago
- purerl bindings to basic Erlang process functionality☆13Updated 3 years ago
- Interpreter of the ITGL with dynamic type inference☆21Updated 6 months ago
- MixML prototype interpreter☆27Updated 5 years ago
- Proof of concept to generate safe and fast JavaScript☆24Updated 3 years ago
- Easy, Fast and Type-Safe Web Application Framework☆32Updated 5 years ago
- ☆12Updated 3 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- Master thesis on developing a static type checker for Erlang☆27Updated 6 years ago
- Erlang source code parser written in Rust☆10Updated 3 years ago
- Haskell / Erlang interoperability library☆29Updated 2 years ago
- Notes of Programming Languages☆11Updated 9 months ago
- An ML-like statically-typed Erlang☆154Updated last year
- A Certified Interpreter for ML with Structural Polymorphism☆44Updated 4 months ago
- Jane Street Capital's standard library overlay☆36Updated 3 weeks ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- PWV Functional Language☆15Updated last year
- A Dependently Typed Programming Language☆27Updated 5 years ago
- Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.☆58Updated 5 years ago
- AST, parser, pretty-printer for Core Erlang source code.☆28Updated 4 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago