Skip to content
View mssabr01's full-sized avatar
27 followers · 8 following

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report mssabr01

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

Stars

Showing results

ligurio / practical-fm

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

524 42 Updated Feb 11, 2025

jtcortex / Exercises

Collection of exercise solutions

C 1 1 Updated Nov 29, 2024

oblivia-simplex / roper

Return Oriented Programme Evolution with ROPER

Common Lisp 168 21 Updated Apr 25, 2019

hacl-star / hacl-star

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

F* 1,651 174 Updated Mar 30, 2025

seL4 / seL4

The seL4 microkernel

C 4,869 686 Updated Mar 27, 2025

irfansharif / raft.tla

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

TLA 12 3 Updated Sep 7, 2017

hwayne / learntla

A TLA+ guide

CSS 279 57 Updated Jul 1, 2022

YearOfProgramming / 2017Challenges

Join our slack channel

Python 202 160 Updated Mar 23, 2024

tlaplus / tlaplus

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

Java 2,399 209 Updated Mar 29, 2025
Showing results