Skip to content
@freespek

FreeSpek

The specification languages must be free!

Pinned

  1. solarkraft solarkraft Public

    Solakraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache

    TypeScript 9

Repositories

Showing 2 of 2 repositories
  • solarkraft Public

    Solakraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache

    TypeScript 9 Apache-2.0 0 18 8 Updated Jun 4, 2024
  • soroban-scripts Public

    Tiny scripts to simplify testing of / playing with Soroban smart contracts

    Shell 0 Apache-2.0 0 0 0 Updated Apr 19, 2024

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…