NetLogo / NetLogo

turtles, patches, and links for kids, teachers, and scientists

akka / akka-core

A platform to build and run apps that are elastic, agile, and resilient. SDK, libraries, and hosted environments.

microsoft / SynapseML

Simple and Distributed Machine Learning Python Library porting ML algorithms for Spark

apache / pekko

Build highly concurrent, distributed, and resilient message-driven applications using Java/Scala

apalache-mc / apalache

APALACHE: symbolic model checker for TLA+ and Quint