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
- [WIP] A utility library for parsing BEAM format(and Erlang External Term Format, etc) which is written in OCaml.☆16Updated 6 years ago
- A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.☆100Updated 10 years ago
- Interpreter of the ITGL with dynamic type inference☆21Updated 6 months ago
- A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm☆16Updated last year
- ☆54Updated 12 years ago
- Supervised Session Actors☆22Updated 9 years ago
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Updated 4 years ago
- Erlang source code parser written in Rust☆10Updated 3 years ago
- MixML prototype interpreter☆27Updated 5 years ago
- Proof of concept to generate safe and fast JavaScript☆24Updated 3 years ago
- A Dependently Typed Programming Language☆27Updated 5 years ago
- Easy, Fast and Type-Safe Web Application Framework☆32Updated 5 years ago
- purerl bindings to basic Erlang process functionality☆13Updated 3 years ago
- ONE-SHOT Algebraic Effects for Ruby!☆23Updated 2 weeks ago
- AST, parser, pretty-printer for Core Erlang source code.☆28Updated 4 years ago
- Haskell / Erlang interoperability library☆30Updated 2 years ago
- Master thesis on developing a static type checker for Erlang☆27Updated 6 years ago
- An ML-like statically-typed Erlang☆154Updated last year
- N2O: Application Server☆12Updated 2 years ago
- A partial implementation of Protocol Buffers in Idris☆32Updated 8 years ago
- Haskell subset compiled to the Beam machine.☆42Updated 11 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Updated 6 years ago
- OCaml back end for Idris☆22Updated 7 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
- ⭕️ N2O: Haskell Application Server☆46Updated 3 years ago
- 🧊 Типізоване -גчислення☆16Updated 3 months ago
- Example row-polymorphism implementations☆61Updated last year
- SubML (prototype) language☆23Updated 3 years ago