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 192

2. juspay/hyperswitch juspay/hyperswitch Public

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

   Rust 12.3k 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. pontoon-addon pontoon-addon Public

   Forked from MikkCZ/pontoon-addon

   Tools for Pontoon and its integration into the browser.

   TypeScript