amutake / actarioLinks
Verification Framework for Actor Systems on Coq
☆29Updated 6 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 5 years ago
- A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm☆16Updated last year
- purerl bindings to basic Erlang process functionality☆13Updated 2 years ago
- Supervised Session Actors☆22Updated 8 years ago
- A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.☆100Updated 10 years ago
- Easy, Fast and Type-Safe Web Application Framework☆32Updated 5 years ago
- An implementation of binary session types in OCaml☆36Updated 6 years ago
- ☆54Updated 11 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Updated 4 years ago
- OCaml back end for Idris☆22Updated 7 years ago
- ☆12Updated 3 years ago
- ONE-SHOT Algebraic Effects for Ruby!☆22Updated 4 years ago
- Interpreter of the ITGL with dynamic type inference☆22Updated 3 months ago
- Haskell / Erlang interoperability library☆29Updated 2 years ago
- Proof of concept to generate safe and fast JavaScript☆24Updated 2 years ago
- Template Haskell Implementation of Egison Pattern Matching☆32Updated 4 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
- An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml☆14Updated 4 years ago
- PWV Functional Language☆13Updated last year
- Multiparty Session Types in OCaml☆60Updated 7 months ago
- A Go backend for Idris☆15Updated 6 years ago
- ☆18Updated 8 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 8 years ago
- Example row-polymorphism implementations☆61Updated last year
- Erlang External Term Format for OCaml☆29Updated last year
- An ML-like statically-typed Erlang☆155Updated last year
- Accepted papers for ICFP 2015☆45Updated 9 years ago