Giters
Nafal-sa

Nafal-sa

Geek Repo

0

followers

5

following

3

stars

Github PK Tool:Github PK Tool

Nafal-sa's starred repositories

open-source-ios-apps

:iphone: Collaborative List of Open-Source iOS Apps

License:CC0-1.0Stargazers:41580Issues:0Issues:0

Open-Source-Apps-iOS

Creating an iOS app to complement the Collaborative List of Open-Source iOS Apps initiated by @dkhamsing

Language:SwiftStargazers:93Issues:0Issues:0

teaching

Teaching materials related to the Tamarin Prover

Stargazers:60Issues:0Issues:0