Giters
hirataqdees

hirataqdees

User data from Github https://github.com/hirataqdees

8

followers

4

following

9

stars

Company:Amazon Web Services

Location:Santa Clara

Home Page:https://hirataqdees.github.io/

GitHub:@hirataqdees

Twitter:@hira_taqdees

Organizations
CakeML

hirataqdees's repositories

acjf3.github.io

Language:IsabelleStargazers:0Issues:1Issues:0

dafny

Dafny is a verification-aware programming language

Language:C#License:NOASSERTIONStargazers:0Issues:0Issues:0

hirataqdees.github.io

Language:SCSSLicense:NOASSERTIONStargazers:0Issues:0Issues:0

learngitthehardway

Stargazers:0Issues:0Issues:0

libraries

Libraries useful for Dafny programs

Language:DafnyLicense:NOASSERTIONStargazers:0Issues:0Issues:0

sail

Sail architecture definition language

Language:Standard MLLicense:NOASSERTIONStargazers:0Issues:1Issues:0

TLB-COMP

Stargazers:0Issues:1Issues:0

typecart

Language:F#License:NOASSERTIONStargazers:0Issues:0Issues:0