mssabr01

mssabr01's Stars

• seL4/seL4

  The seL4 microkernel

  Language:C4.7k204418661

• tlaplus/tlaplus

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

  Language:Java2.3k56790193

• hacl-star/hacl-star

  HACL*, a formally verified cryptographic library written in F*

  Language:F*1.6k77228166

• ligurio/practical-fm

  A gently curated list of companies using verification formal methods in industry

  48656936

• hwayne/learntla

  A TLA+ guide

  Language:CSS278174657

• YearOfProgramming/2017Challenges

  Join our slack channel

  Language:Python203322162

• oblivia-simplex/roper

  Return Oriented Programme Evolution with ROPER

  Language:Common Lisp16918121

• irfansharif/raft.tla

  TLA+ specification for the Raft consensus algorithm (with Pre-Vote)

  Language:TLA12303

• jtcortex/Exercises

  Collection of exercise solutions

  Language:C1110