Voyager
|
|
Voyager is a multiverse debugger probe-effect free implemented on top of the AmbientTalk operational semantics. |
Guardia
|
|
Guardia is an internal DSL for expressing application-specific declarative access control policies. |
Kómpos
|
|
Kómpos is a multiparadigm concurrent debugger for applications implemented in the SOMns programming language. |
Apgar
|
|
Apgar is an online message-oriented debugger for actor-based applications implemented for the SOMns programming language. |
IDRA
|
|
IDRA is an out-of-place debugger for Pharo Smalltalk. |
Spa/Port
|
|
Spa and Port are Big Data parallel execution frameworks for Pharo Smalltalk. |
Flec
|
|
Flec is an extensible programming framework for CRDTs written in TypeScript. |
SECROs
|
|
Strong Eventually Consistent Replicated Objects (SECROs) let programmers replicate sequential data types by declaring application-level invariants. |
UTAFITILOG
|
|
UtafitiLog is an artifact demonstrating the use of visual and dataflow programming in the implementation of distributed applications. |