GitHub repository: mateuszbujalski/jsonstar
Primary language: F*
Created: 2020-06-26T11:38:19Z
Description: JSON Serialization library for F*