Pinned Loading

1. tlaplus/tlaplus tlaplus/tlaplus Public

   TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

   Java 2.3k 195

2. juspay/hyperswitch juspay/hyperswitch Public

   An open source payments switch written in Rust to make payments fast, reliable and affordable

   Rust 12.4k 1.3k

3. Readers–writers problem Readers–writers problem

   1

   -------------------------- MODULE Readers_Writers --------------------------

   2

   \*https://en.wikipedia.org/wiki/Readers%E2%80%93writers_problem

   3

   EXTENDS Sequences, Naturals, FiniteSets

   4

   CONSTANTS Readers, Writers

   5

4. mule-flex-rust-policy-redirect mule-flex-rust-policy-redirect Public

   A proxy-wasm policy that redirects HTTP requests based on a specific header

   Rust

5. Single Lane Bridge Problem Single Lane Bridge Problem

   1

   -------------------------- MODULE SingleLaneBridge --------------------------

   2

   3

   \* 

   4

   \*  This is my solution to the Single Lane Bridge problem in TLA+

   5

   \*  Also available in: https://github.com/tlaplus/Examples/blob/master/specifications/SingleLaneBridge/SingleLaneBridge.tla

6. token_ring_protocol_v1.tla token_ring_protocol_v1.tla

   1

   ----------------------------- MODULE TokenRing -----------------------------

   2

   3

   EXTENDS Naturals, Sequences

   4

   5

   CONSTANT N, Data, NULL, MaxLength