Repositories list

• forja

  Public
  Scala

  •

  Apache License 2.0

  •55 forks•22 stars•00 issues•44 pull requests•Updated May 12, 2026May 12, 2026

• fray

  Public
  A controlled concurrency testing framework for the JVM

  Kotlin

  •

  Apache License 2.0

  •1717 forks•00 stars•00 issues•00 pull requests•Updated Jan 27, 2026Jan 27, 2026

• pgo

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

  godistributed-systemsscala+ 4

  godistributed-systemsscalacompilertlapgopluscal

  TLA

  •

  Apache License 2.0

  •1919 forks•206206 stars•1717 issues•11 pull request•Updated Dec 17, 2025Dec 17, 2025

• tailcalls-demo

  Public
  Scala

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 11, 2025Oct 11, 2025

• tracelink-artifact

  Public
  TLA

  •

  Creative Commons Attribution 4.0 International

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 22, 2025Aug 22, 2025

• distcompiler.github.io

  Public
  MDX

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 1, 2024Apr 1, 2024

• pgo-artifact

  Public
  Go

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 29, 2022Dec 29, 2022

• roshiapp

  Public
  Go

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 24, 2022Jun 24, 2022