Skip to content
@DistCompiler

DistCompiler

Pinned Loading

  1. pgo pgo Public

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

    TLA 173 13

Repositories

Showing 4 of 4 repositories
  • pgo Public

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

    DistCompiler/pgo’s past year of commit activity
    TLA 173 Apache-2.0 13 17 1 Updated Apr 1, 2024
  • distcompiler.github.io Public
    DistCompiler/distcompiler.github.io’s past year of commit activity
    MDX 0 0 0 0 Updated Apr 1, 2024
  • pgo-artifact Public
    DistCompiler/pgo-artifact’s past year of commit activity
    Go 0 0 0 0 Updated Dec 29, 2022
  • roshiapp Public
    DistCompiler/roshiapp’s past year of commit activity
    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…