curryhoward

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

chymyst-core

Declarative concurrency in Scala - The implementation of the chemical machine

Chymyst

Declarative concurrency in Scala - The application library for the chemical machine

jc-talk-2017-examples

Code examples for the Chymyst presentations in 2017