| EDWARD | EDWARD is an event-based out-of-place debugger built into the WARDuino virtual machine, a WebAssembly runtime for microcontrollers. | |
| VeriFx | VeriFx is a functional OOP language, inspired by Scala, that supports fully automated verification of high-level correctness properties expressed in VeriFx itself. | |
| 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. |
