Skip to content

Pinned Loading

  1. pgo pgo Public

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

    TLA 175 14

Repositories

Showing 5 of 5 repositories
  • dcal Public
    DistCompiler/dcal’s past year of commit activity
    Scala 1 Apache-2.0 1 0 0 Updated Nov 28, 2024
  • 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 175 Apache-2.0 14 17 1 Updated Nov 15, 2024
  • 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…