Skip to content
@DistCompiler

DistCompiler

Pinned Loading

  1. pgo Public

    PGo is a source to source compiler from Modular PlusCal specs into Go programs.

    TLA 177 14

Repositories

Showing 5 of 5 repositories
  • dcal Public
    Scala 2 Apache-2.0 3 0 2 Updated Mar 28, 2025
  • pgo Public

    PGo is a source to source compiler from Modular PlusCal specs into Go programs.

    TLA 177 Apache-2.0 14 16 2 Updated Mar 22, 2025
  • distcompiler.github.io Public
    MDX 0 0 0 0 Updated Apr 1, 2024
  • pgo-artifact Public
    Go 0 0 0 0 Updated Dec 29, 2022
  • roshiapp Public
    Go 0 0 0 0 Updated Jun 24, 2022

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…