Awesome Open Source

Programming Languages

Search results for ocaml session types

session-types x

3 search results found

Links: Linking Theory to Practice for the Web

The official compiler for the Quartz programming language

Sessions ⭐ 12

Library to provide session types to allow for static verification of protocols between concurrent computations.

Related Searches

Ocaml Reasonml (475)

Bindings Ocaml (428)

Ocaml Reason (394)

Ocaml Bucklescript (320)

Types Ocaml (294)

Language Ocaml (289)

Javascript Ocaml (181)

Reactjs Ocaml (168)

Ocaml Coq (163)

1-3 of 3 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.