Username:
sergei.r...@gmail.com
| Projects |
|---|
| Role | Project | Summary |
|---|---|---|
| Owner | cilpe | CILPE, a program specializer for CIL |
| Owner | hosc | A Higher-Order Supercompiler in Scala |
| Owner | spsc | A Small Positive Supercompiler in Scala, Haskell, Python & Ruby |
| Owner | unmix | Unmix, a specializer for a subset of Scheme |
| Starred by sergei.r...@gmail.com |
|---|
| Type | Name | Summary |
|---|---|---|
| Project | jspin | jSpin, SpinSpider, EUI - Tools for Teaching Concurrency with Spin and Erigone |
| Project | erigone | The Erigone Model Checker |
| Project | kiama | A Scala library for language processing |
| Project | lambdamix | lambdamix |