Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/ekdohibs/joujou
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.
https://github.com/ekdohibs/joujou
algebraic-effects compiler continuations functional-programming handlers type-inference
Last synced: 10 days ago
JSON representation
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.
- Host: GitHub
- URL: https://github.com/ekdohibs/joujou
- Owner: Ekdohibs
- License: apache-2.0
- Created: 2018-02-16T11:42:36.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2018-12-10T23:06:34.000Z (almost 6 years ago)
- Last Synced: 2024-10-10T22:29:03.357Z (26 days ago)
- Topics: algebraic-effects, compiler, continuations, functional-programming, handlers, type-inference
- Language: OCaml
- Homepage:
- Size: 509 KB
- Stars: 86
- Watchers: 10
- Forks: 4
- Open Issues: 1