soda-language

There are 3 repositories under soda-language topic.

  • julianmendez/market

    Multi-agent prototype of a market modeled in Soda that uses formal verification.

    Language:Scala1100

  • julianmendez/soda

    Object-oriented functional language to describe, analyze, and model human-centered problems

    Language:Scala1201

  • julianmendez/tiles

    Framework to create formal configurations of constraints.

    Language:Scala0100