Awesome Open Source

Programming Languages

Search results for ocaml algebraic effects

algebraic-effects x

7 search results found

Ocaml Multicore ⭐ 763

Multicore OCaml

A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with subtyping.

🦠 Reusable components based on algebraic effects

🦠 An experimental elaborator for dependent type theory using effects and handlers

A programming language with first-class modules and algebraic effects.

Logger with eio

an effect handler-oriented programming language

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-7 of 7 search results

Privacy | About | Terms | Follow Us On Twitter

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