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 211 20

Repositories

Showing 8 of 8 repositories
  • forja Public
    DistCompiler/forja's past year of commit activity
    Scala 2 Apache-2.0 5 0 4 Updated May 12, 2026
  • fray Public Forked from cmu-pasta/fray

    A controlled concurrency testing framework for the JVM

    DistCompiler/fray's past year of commit activity
    Kotlin 0 Apache-2.0 18 0 0 Updated Jan 27, 2026
  • 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 211 Apache-2.0 20 17 1 Updated Dec 17, 2025
  • tailcalls-demo Public
    DistCompiler/tailcalls-demo's past year of commit activity
    Scala 0 0 0 0 Updated Oct 11, 2025
  • tracelink-artifact Public
    DistCompiler/tracelink-artifact's past year of commit activity
    TLA 0 CC-BY-4.0 0 0 0 Updated Aug 22, 2025
  • 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

Most used topics

Loading…