This page contains a list of projects related to Orc. If you are using Orc or working on a research project involving Orc, please feel free to add your own link and a short description here.

!!! Projects Using Orc

[Verification of Computation Orchestration via Timed Automata|http://nt-appn.comp.nus.edu.sg/fm/orc/], at the National University of Singapore.

[Real-Time Rewriting Semantics of Orc|http://www.cs.uiuc.edu/homes/alturki/publications/assets/ppdp29k-alturki.pdf] and [Reduction Semantics and Formal Analysis of Orc Programs|http://www.cs.uiuc.edu/homes/alturki/publications/assets/wwv07-alturki-meseguer.pdf] at the University of Illinois at Urbana-Champaign.

[From Orc Models To Distributed Grid Java Code|http://www.di.unipi.it/~aldinuc/papers/2008_IW_O2J.pdf]

[Managing Grid Computations: An Orc-Based Approach|https://www.cs.utexas.edu/~cathyliu/395T-S07/ClassNotes.dir/ORC_GRID.pdf]

!!! Projects Similar to Orc

[Bip|http://www-verimag.imag.fr/~sifakis/?link=BIP] -- Component-based construction. Similar emphasis on combinators and combining components in a structured way.

[Minnow|http://www.minnow-lang.org] -- a "highly-concurrent, hybrid-typed, lightweight programming language". Based on the actor model, incorporates "isolated" actors which are run in a separate scheduler (similar to how Orc runs Java sites in a separate thread pool).

[ChucK|http://chuck.cs.princeton.edu/] -- ~ChucK has many concepts similar to Orc: "strong time" (logical time), "shreds" (threads), "shreduler" (cooperative green thread scheduler), using events and time to synchronize independent processes.

[Peter Van Roy|http://lambda-the-ultimate.org/node/3108] has an interesting proposal for "multi-agent dataflow programming" which has some similarities to Orc.

[Dana|http://lambda-the-ultimate.org/node/3214]'s "answer to the problems of concurrency and event handling is to make the ordering of instructions the syntactic and semantic core of the language".

[Esterel|http://en.wikipedia.org/wiki/Esterel], a "synchronous reactive programming language".

[Oni|http://www.croczilla.com/oni], "Embedded Structured Concurrency Language"