zsfre

zsfre's Stars

• google/exposure-notifications-server

  Exposure Notification Reference Server | Covid-19 Exposure Notifications

  Language:Go2.4k313

• owickstrom/tlaplus-cli-template

  CLI-driven TLA+ project template

  Language:Makefile432

• Azure/azure-cosmos-tla

  Azure Cosmos TLA+ specifications

  Language:TLA26939

• alfert/propcheck

  Property based Testing for Elixir (based upon PropEr)

  Language:Elixir37342

• alloy-js/sterling

  Alloy with browser-based visualizations

  Language:Java271

• tlaplus/DrTLAPlus

  Dr. TLA+ series - learn an algorithm and protocol, study a specification

  Language:TLA80797

• corona-warn-app/cwa-documentation

  Project overview, general documentation, and white papers. The CWA development ends on May 31, 2023. You still can warn other users until April 30, 2023. More information:

  Language:TeX3.3k344

• emichael/dslabs

  Distributed Systems Labs and Framework

  Language:Java1.2k341

• tlaplus/Examples

  A collection of TLA⁺ specifications of varying complexities

  Language:TLA1.3k198

• servirtium/README

  Servirtium Overview

  102

• servirtium/servirtium-java

  Service Virtualized HTTP - to help service test automation stay fast and consistent

  Language:Java185

• AlloyTools/org.alloytools.alloy

  Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

  Language:Java712123