Skip to content
View sunny-g's full-sized avatar
128 followers · 426 following

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx3

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx3
Block or Report

Block or report sunny-g

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Lists (17)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated
Beta Lists are currently in beta. Share feedback and report bugs.
Type: All
Language: TLA
Sort by: Most stars

Starred repositories

2 stars written in TLA
Clear filter

DistCompiler / pgo

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

TLA 172 13 Updated Apr 1, 2024

rust-p2p / specs

Specs for protocols implemented in the rust-p2p org.

TLA 6 Updated Feb 5, 2020

Starred topics

See all starred topics