Skip to content
View jryans's full-sized avatar
333 followers · 734 following

Sponsoring

@osnr
@servo
@noelwelsh

Achievements

Achievement: Starstruckx2Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Pull Sharkx4Achievement: Public SponsorAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Starstruckx2Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Pull Sharkx4Achievement: Public SponsorAchievement: Arctic Code Vault Contributor

Organizations

@racket @browserify @EpicGames @HandmadeHero @opencollective @llvm @malleable-systems

Block or report jryans

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

Starred repositories

5 results for source starred repositories written in TLA
Clear filter

spacejam / tla-rust

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

TLA 1,052 26 Updated May 23, 2017

Apress / practical-tla-plus

Source Code for 'Practical TLA+' by Hillel Wayne

TLA 291 67 Updated Apr 13, 2022

tlaplus / CommunityModules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

TLA 278 37 Updated Dec 19, 2024

will62794 / tlaplus_animation

A TLA+ module for animating TLC traces.

TLA 45 3 Updated Dec 9, 2024

lostbearlabs / tiny-tlaplus-examples

Very small examples of TLA+ features.

TLA 43 1 Updated Apr 14, 2019

Starred topics

See all starred topics