Skip to content
@freespek

FreeSpek

Pinned Loading

  1. solarkraft solarkraft Public

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

    TypeScript 10

Repositories

Showing 2 of 2 repositories
  • solarkraft Public

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

    freespek/solarkraft’s past year of commit activity
    TypeScript 10 Apache-2.0 0 10 1 Updated Jun 22, 2024
  • soroban-scripts Public

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

    freespek/soroban-scripts’s past year of commit activity
    Shell 0 Apache-2.0 0 0 0 Updated Jun 6, 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…